integrate(exp(x)*cos(x), x)