Comment by pizlonator

As far as I can tell e-graphs can’t handle all of the kinds of transforms that a compiler does, so they’re likely to be avoided by real compilers.