A = X2+Z2 B = X2-Z2 C = X3+Z3 D = X3-Z3 DA = D*A CB = C*B t0 = DA+CB t1 = t0^2 X5 = Z1*t1 t2 = DA-CB t3 = t2^2 Z5 = X1*t3