Simplify square root of 7/(8y)