sqrt(1-x^2/4)