Simplify square root of y^13