Equality Saturation

Rewriting is a principled term transformation technique with uses across theorem proving and compilation. In theorem proving, each …