Equality saturation

Links to this note