Optimize floating-point expressions for accuracy
Herbie's second release makes Herbie easier to use with a new web-based interface, more helpful errors, and expanded support for trigonometric and hyperbolic functions, plus speedier and more precise core algorithms.
This is the first production-ready release of Herbie, featuring a new standard input format, faster operation, many stability improvements, and more. See the full release notes for more details.