Simplify square root of y^12