integrate(e^(-a t^2/2) sin(t),t)