There's actually a great write-up on how Herbie was used in the real-world to fix and improve math.js: https://pavpanchekha.com/blog/casio-mathjs.html

I'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).