integrate -exp((s^2 - t^2)/2)*(f'(t) - t*f(t)) dt