Simplify square root of x/3