# leibniz

symbolic differentiation engine in OCaml with simplification

## building

```bash
dune build
```

## repl

```bash
dune exec leibniz-repl
```

##  usage

```ocaml
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)
```