# E-Graph implementation