integral of sqrt(2-x^2)