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