Herbie web demo

Write a formula below, and Herbie will try to improve it. Enter approximate ranges for inputs.

Show an example | Use FPCore

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:

Use ordinary mathematical syntax (parsed by math.js) and standard functions like:

+, -, *, /, 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.