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