integral from -inf to inf of (-0.5 * (log(2*pi) + x^2)) * (1/sqrt(2*pi)) * exp(-x^2/2) dx