Simplify square root of x^2+9