The Herbie Project Try Install Learn Find and fix floating-point problems: sqrt(x+1) - sqrt(x) → 1/(sqrt(x+1) + sqrt(x)) Herbie detects inaccurate expressions and finds more accurate replacements. The red expression is inaccurate when x > 1; Herbie's replacement, in blue, is accurate for all x. Learn Tutorial Release Notes Documentation Papers about Herbie Herbie improving accuracy on the “Hamming” benchmark suite. Longer arrows are better. Each arrow starts at the accuracy of the original expre...