1 2 3 4 5 6 7 8 9 10 11 12 13 14
A = X2*X3 B = Z2*Z3 C = X2*Z3 D = Z2*X3 t0 = a*B t1 = A-t0 t2 = C+D t3 = t1^2 t4 = B*t2 t5 = b4*t4 X4 = t3-t5 t6 = C-D t7 = t6^2 Z4 = X1*t7