Z2D2 = Z2*D2 E = Z1*C2 F = S1*D2 G = C1*Z2 H = E*G J = D1*F t0 = E+D1 t1 = G+F t2 = t0*t1 t3 = t2-H S3 = t3-J C3 = H-J t4 = C1*C2 t5 = S1*t4 t6 = a*t5 t7 = D1*Z2D2 t8 = Z1*t7 D3 = t8-t6 t9 = E^2 t10 = D1^2 Z3 = t9+t10