Divide 1/(1+ square root of 3)