Guided Equality Saturation Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer Last updated on Nov 23, 2023 PDF Cite DOI URL e-graphs equality saturation theorem proving optimizing compilers