Simplify square root of 25-x^2