{y=( - 12*arbcomplex(1,y)*x + 12*arbcomplex(1) + x**4 + 12*x**3 - x)/12}$
