integrate x^2 sin^2 (pi x) exp(-x^2/2) dx from x=-infty to infty