Herbie web demo

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)
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
The mathematical constants

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