Herbie 查找并修复浮点精度问题

Herbie 能自动改善浮点表达式的误差，支持 Linux、macOS 和 Windows（不过在 Windows 上，需要先安装 Make）。 sqrt(x+1) - sqrt(x) → 1/...