A = X1+Z1 AA = A^2 B = X1-Z1 BB = B^2 C = AA-BB X3 = AA*BB t0 = a24*C t1 = BB+t0 Z3 = C*t1