Simplify (1 square root of 3)/3