herbie - float error fixer
2023-11-15 · 1 min read
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.