1/√(2π)*∫[-∞,∞](x^2-1)^2*e^(-x^2/2)dx