Herbie: Automatically improve imprecise floating point formulas
Summary
Herbie is a tool that rewrites floating point expressions to improve numerical accuracy. The tutorial walks through feeding expressions, constraining input ranges, and interpreting results, including examples from math.js and complex numbers, and shows how automatic transformations can yield more accurate and sometimes faster alternatives.