E = S1^2 F = C1^2 G = E^2 H = F^2 J = G^2 K = H^2 t0 = E+F t1 = t0^2 t2 = t1-H L = t2-G M = L^2 t3 = G+L t4 = t3^2 t5 = t4-J N = t5-M t6 = H+L t7 = t6^2 t8 = t7-K P = t8-M R = bb2*J Q = b2*N T = b3*M U = 2*P V = 2*K W = a*U Y = a*Q RV = R-V RQ = R-Q UV = U+V TW = T+W TY = T-Y RQUV = RQ+UV t9 = 2*UV t10 = RV+TW t11 = t10-t9 S3 = S1*t11 t12 = 2*RQ t13 = RV-TY t14 = t13+t12 C3 = C1*t14 t15 = TW-RQUV D3 = D1*t15 t16 = TY-RQUV Z3 = Z1*t16