integrate exp(-(t^2+(x-t)^2)/2) for t=0 to infinity