Simplify square root of 13/x