e-graphs are cool. good even. maybe we can use em here Resources - https://github.com/egraphs-good/snake-egg - https://arxiv.org/pdf/2305.04311.pdf - https://www.philipzucker.com/notes/Logic/egraphs/ - https://egg-smol-python.readthedocs.io/en/latest/explanation/pldi_2023_presentation.html - https://github.com/riswords/quiche
