discriminant[y^6+y^2z^6+z^2-y^2z^2(1+y^2+z^2)-k(1+z^2)z^2(y+z)(y-z)(z-1)(z+1)],z]