Simplify square root of 16-x^2