Graph square root of 16-x^2