t0 = X1+Z1 t1 = t0^2 t2 = t1-XX1 R1 = t2-ZZ1 Y12 = 2*Y1 T1 = R1^2 T12 = 2*T1 T2 = Y12^2 t3 = R1+Y12 t4 = t3^2 t5 = t4-T1 X3 = t5-T2 XX3 = X3^2 t6 = c*T12 t7 = T2+t6 t8 = t7^2 t9 = c*XX3 Y3 = t8-t9 t10 = XX1^2 t11 = 8*t10 t12 = a*T12 t13 = T2-t12 Z3 = t13-t11 ZZ3 = Z3^2