You can use Herbie to increase the accuracy of your floating point operations. From the tutorial: Herbie rewrites floating point expressions to make them more

You can use Herbie to increase the accuracy of your floating point operations. From the tutorial: Herbie rewrites floating point expressions to make them more accurate. Floating point arithmetic is inaccurate; even 0.1 + 0.2 ≠ 0.3 for a computer. Herbie helps find and fix these mysterious inaccuracies. https://herbie.uwplse.org/ https://herbie.uwplse.org/