integral (e^(x²-2x² Phi(x)) ) , x=0 to infty