Simplify 1/3 square root of 3