Concept

equality saturation