U = 2*Y1
V = U^2
W = U*V
S = X1*V
t0 = X1^2
t1 = ZZ1^2
t2 = a*t1
t3 = 3*t0
M = t3+t2
t4 = M^2
t5 = 2*S
X3 = t4-t5
t6 = S-X3
t7 = W*Y1
t8 = M*t6
Y3 = t8-t7
ZZ3 = V*ZZ1
ZZZ3 = W*ZZZ1