https://herbie.uwplse.org/demo/

[logo]

Herbie web demo

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

Show an example | Use FPCore

[                    ] [                    ]

Improve with Herbie

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.