integrate (e^(-t^2/2)/(2pi)^(1/2) , t=-infinity to 0.478091