The derivative of constant * x is the constant, so consider_constant(exp(x)) * x should have exp(x) as the result :)