integral sqrt(2-x^2)