sqrt(2-x^2), x=-sqrt(2) to x=sqrt(2)