XX1 = X1^2 XZ1 = X1*Z1 T1 = XZ1^2 T2 = Y1^2 t0 = c2*T1 t1 = T2+t0 S1 = t1^2 t2 = XZ1+Y1 t3 = t2^2 t4 = t3-T1 X3 = t4-T2 V = X3^2 t5 = c*V Y3 = S1-t5 t6 = XX1^2 t7 = 2*t6 t8 = a2*T1 t9 = T2-t8 Z3 = t9-t7