Equality Saturation : Engineering Challenges And Applications