Simplify square root of y^15