Simplify square root of 7/8