integrate Exp[- i pi * x^2 / 2] from -infinity to infinity