U = 2*Y1
V = U^2
W = U*V
S = X1*V
t0 = X1^2
t1 = t0-1
M = 3*t1
t2 = M^2
t3 = 2*S
X3 = t2-t3
t4 = S-X3
t5 = W*Y1
t6 = M*t4
Y3 = t6-t5
ZZ3 = V
ZZZ3 = W