integrate cos(x)*sin^3 x * exp(-x) * x