Simplify 3/(4+ square root of 2)