xsqrt(2-x^2)