Simplify 4/(1+ square root of 3)