int(exp(-(s*t)),t,0,inf)