Enter a formula below, hit `Enter`, and Herbie will try to improve it.

To handle the high volume of requests, web requests are queued; there are 0 jobs in the queue right now. Web demo requests may also time out and cap the number of improvement iterations. To avoid these limitations, install Herbie on your own computer.

Please enter formulas as FPCore expressions, including the top-level `FPCore`

form, using only the following supported functions:

`+`

,`-`

,`*`

,`/`

,`abs`

- The usual arithmetic functions
`and`

,`or`

- Logical connectives (for preconditions)
`pow`

- Raising a value to a power
`exp`

,`log`

- Natural exponent and natural log
`sin`

,`cos`

,`tan`

- The trigonometric functions
`asin`

,`acos`

,`atan`

- The inverse trigonometric functions
`sqrt`

,`cbrt`

- Square and cube roots
`PI`

,`E`

- The mathematical constants

*Note*: all formulas submitted here are logged and made public. See what formulas other users submitted.