Dead subexpression elimination