Equality Saturation: A New Approach to Optimization (Logical Methods in Computer Science, 2011)