Get the latest tech news
Herbie: Optimize Floating-Point Expressions
Write a formula below, and Herbie will try to improve it. Enter approximate ranges for inputs.
Web demo requests may also time out and cap the number of improvement iterations. To avoid these limitations, install Herbie on your own computer. +,-,*,/, 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
Or read this on Hacker News