A fun read describing an important (and seemingly inherent) difficulty of compiler optimization. E-graphs get around this, but IIRC are significantly slower.