The OP copied only half my tweet, full title should be &quot;...to minimize floating-point precision errors&quot;. This tool is specifically for improving the numerical accuracy of equations when translated into floating-point code-- &quot;minimizing errors&quot; makes no sense without the qualifiers.<p>I do a lot of procedural graphics on the GPU and am constantly plagued by precision issues (you cannot copy equations verbatim into code, you must observe overflow&#x2F;underflow and other numerical issues). Herbie is pretty magical in that it can _automatically_ translate math expressions into a form that&#x27;s friendlier for computers.<p>Also the reason why the GitHub site source was linked is because the website [1] crashed under traffic earlier today (full site contains an interactive solver and examples).<p>[1] <a href="http:&#x2F;&#x2F;herbie.uwplse.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;herbie.uwplse.org&#x2F;</a>