Simplify square root of 17/x