Thanks for bringing up E-Graphs! I haven't heard of them before and the field looks quite intriguing. At first I thought that it mostly looks like a re-hash of what database query engines do internally, but reading a bit into it, it looks like there might be some more merit to it, though the literature around it seems sparse.