Simplify 4/(3+ square root of 7)