herbie-fp/herbie

Herbie is an open‑source tool that automatically improves the numerical accuracy of floating‑point expressions by applying algebraic rewrites and search techniq