t0 = X1^2 t1 = Z1^4 t2 = a*t1 t3 = 3*t0 M = t3+t2 t4 = Y1^2 t5 = M^2 t6 = X1*t4 t7 = 12*t6 E = t7-t5 t8 = Y1^4 T = 8*t8 t9 = M*E t10 = T-t9 t11 = Y1^2 t12 = E^2 t13 = X1*t12 t14 = t11*t10 t15 = 8*t14 X3 = t15+t13 t16 = M*E t17 = 2*T t18 = M*E t19 = t18-T t20 = t17-t16 t21 = E^3 t22 = t19*t20 t23 = 4*t22 t24 = t23-t21 Y3 = Y1*t24 Z3 = Z1*E