integrate 1/sqrt(2 pi) exp(-1/2 t^2) dt