How we optimized pruning in Herbie

Stephen asked me to repost here a blog post I wrote about about some optimization work I did in the Herbie project, including some nice profile exploration tools I've built in Racket:

One of the big helps in doing that optimization work is the GUI profile explorer I built. If you want to play around with it, you can do so at the bottom of this page:

Naturally you probably don't know much about the Herbie codebase, but you can start by searching for functions like atab-add-altns, infer-splitpoints, and batch-errors.


Thanks Pavel!
I only recently started learning about how floating point can go wrong - It is great that there is tooling to help do it right.