ZZ = Z1^2 YY = Y1^2 C = 2*YY t0 = X1^2 t1 = ZZ^2 t2 = a*t1 t3 = 3*t0 M = t3+t2 t4 = M^2 t5 = X1*C t6 = 6*t5 E = t6-t4 EE = E^2 t7 = C^2 T = 2*t7 t8 = M*E U = t8-T U4 = 4*U t9 = C*U4 t10 = X1*EE X3 = t10-t9 t11 = T-U t12 = E*EE t13 = U4*t11 t14 = t13-t12 Y3 = Y1*t14 Z3 = Z1*E