[1, 1, 1, 1]~:[1, 1, 1, 1]~:[-x + 1, -x + 1, -x + 1, -x + 1]~
[1, -1, 1, 1]~:[1, -1, 1, 1]~:[-x + 1, x + 1, -x + 1, -x + 1]~
[2, 0, -y^3 - y^2 - 1, y^3 + y^2]~:[1, -1, 1, 1]~:[x^2 - 2*x + 1, -x^2 + 1, 
x^2 + (y^3 + y^2 + 1)*x + 1, x^2 + (-y^3 - y^2)*x + 1]~
[2, 0, y^3 + y^2, -y^3 - y^2 - 1]~:[1, -1, 1, 1]~:[x^2 - 2*x + 1, -x^2 + 1, 
x^2 + (-y^3 - y^2)*x + 1, x^2 + (y^3 + y^2 + 1)*x + 1]~
[1, 1, 1, 1]~:[1, 1, 1, 1]~:[-x + 1, -x + 1, -x + 1, -x + 1]~
[1, -1, 1, 1]~:[1, -1, 1, 1]~:[-x + 1, x + 1, -x + 1, -x + 1]~
[2, 0, -y^3 - y^2 - 1, y^3 + y^2]~:[1, -1, 1, 1]~:[x^2 - 2*x + 1, -x^2 + 1, 
x^2 + (y^3 + y^2 + 1)*x + 1, x^2 + (-y^3 - y^2)*x + 1]~
[2, 0, y^3 + y^2, -y^3 - y^2 - 1]~:[1, -1, 1, 1]~:[x^2 - 2*x + 1, -x^2 + 1, 
x^2 + (-y^3 - y^2)*x + 1, x^2 + (y^3 + y^2 + 1)*x + 1]~
Total time spent: 712
