Simplify square root of x/(8y)