e-graphs have been repeatedly reinvented across decades for many purposes. One of them is superoptimization. https://en.wikipedia.org/wiki/E-graph https://en.

e-graphs have been repeatedly reinvented across decades for many purposes. One of them is superoptimization. https://en.wikipedia.org/wiki/E-graph https://en.wikipedia.org/wiki/E-graph https://www.cs.cornell.edu/courses/cs6120/2025sp/blog/superopt/ https://www.cs.cornell.edu/courses/cs6120/2025sp/blog/supero... https://github.com/philzook58/awesome-egraphs https://github.com/philzook58/awesome-egraphs