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