Egg: Fast and Extensible Equality Saturation
cacm.acm.org