Common Subexpression Induction