E-graphs, data structures commonly used for equational reasoning in formal methods, have recently been repurposed for program optimization in domains such as circuit design, floating point arithmetic, query optimization, and general-purpose compilers.