The egg project uses e-graphs to provide a new way to build program optimizers and synthesizers. An e-graph compactly represents many equivalent programs. These four e-graphs represent more and more (even infinite!) ways to write (a × 2) / 2. egg makes e-graphs fast and flexible enough for use in program optimization and synthesis. The core egg library provides high-performance, flexible e-graphs

