integrate_0^1 exp{-x)^2} dx