Simplify 5/(1+ square root of 3)