Common subexpression factoring.