Int[e^((1/2)(y^2-t^2)),y]