int x^2 e^(-x^2/2) * e^(-x^2/2)/sqrt(2*pi) dx from -inf to inf