sqrt(16-x^2)