Simplify 1/( square root of 3)