There&#x27;s actually a great write-up on how Herbie was used in the real-world to fix and improve math.js: <a href="https:&#x2F;&#x2F;pavpanchekha.com&#x2F;blog&#x2F;casio-mathjs.html" rel="nofollow">https:&#x2F;&#x2F;pavpanchekha.com&#x2F;blog&#x2F;casio-mathjs.html</a><p>I&#x27;ve personally used it for improving some distance-field approximation code on the GPU (made it easier to translate the math into numerically-stable code).