leibniz#

symbolic differentiation engine in OCaml with simplification

building#

dune build

repl#

dune exec leibniz-repl

usage#

open Leibniz

let f = Parser.parse "x^3 * sin(x)"
let df = Expr.diff "x" f
let () = print_endline (Expr.to_string df)

let ddf = Expr.diff "x" df
let () = print_endline (Expr.to_string ddf)

let value = Expr.eval [("x", 2.0)] df
let () = print_endline (string_of_float value)