A = Y1*Z1
Z3 = 2*A
t0 = Y1^2
t1 = t0*X1
B = 4*t1
t2 = A^2
t3 = a*t2
t4 = 6*t3
C = B+t4
t5 = A^2
ZZ3 = 4*t5
t6 = X1^2
D = 3*t6
t7 = ZZ1+X1
t8 = ZZ1*t7
t9 = a*t8
t10 = 6*t9
E = D+t10
t11 = E^2
t12 = a3*ZZ3
t13 = 2*B
t14 = t11-t13
X3 = t14-t12
t15 = B-X3
t16 = Y1^4
t17 = 8*t16
t18 = E*t15
Y3 = t18-t17