A demonstration of (my understanding of) equality saturation, where one represents AST using identifiers, introduce exogenous equivalences between identifiers (e.g. as from a WHERE foo = bar predicate), and then iteratively establish further equivalences based on the equivalence of AST node inputs (equivalent inputs + equivalent operator = equivalent result, I think).
A demonstration of (my understanding of) equality saturation, where one represents AST using identifiers, introduce exogenous equivalences between identifiers (e.g. as from a
WHERE foo = barpredicate), and then iteratively establish further equivalences based on the equivalence of AST node inputs (equivalent inputs + equivalent operator = equivalent result, I think).