概念

equality saturation