herbie

自动改写浮点表达式以降低误差的数值优化工具，提供网页界面命令行与批量报告功能。