sqrt(1 - x^2)