Common subexpression evaluation