integrate exp(-x^2/2) from 0 to 1