Over the last semester of 2019, Oliver Flatt rewrote Herbie's simplifier—its most important and most expensive component—to use Max Willsey's Egg library. There were quite some difficulties involved, but this change speeds up Herbie by 2.8× and opens up opportunities for further improvements in the future. E-graphs Herbie's simplification component takes an algebraic expression and simplifies it. The main intended benefit is to remove algebraic cancellations, which would otherwise introd...
