integrate e^(-s t) t*cos(t) with respect to t