Simplify square root of 7/12