Equality Saturation ·
Optimizing Code With E-Graphs
un
seel
.com · store every equal form side by side · rewrite to a fixpoint · extract the cheapest
E -nodes
4
E -classes
4
Phase
E-GRAPH
Equivalence class (box)
New e-node added
Extracted cheapest form
▶ Play
←
→
🔇 Unmute
Reset
Un
seel
.com · Equality Saturation