Simplify square root of y^17