E = S1^2 F = C1^2 G = E^2 H = F^2 J = 2*H K = 2*J t0 = 2*F t1 = t0+E t2 = t1^2 t3 = t2-G L = t3-K M = b*G N = K+J P = M^2 R = N*M U = M*L V = H^2 W = H*L t4 = P-V t5 = 2*t4 t6 = b*W t7 = R+t6 t8 = t7+t5 t9 = t8-W t10 = t9-P t11 = t10-V S3 = S1*t11 t12 = P-V t13 = b*U t14 = 2*t12 t15 = t14-U t16 = t15+P t17 = t16+V t18 = t17-R t19 = t18+t13 C3 = C1*t19 t20 = b*W t21 = U-P t22 = t21-V t23 = t22+R t24 = t23+t20 D3 = D1*t24 t25 = b*U t26 = R-t25 t27 = t26-W t28 = t27-P t29 = t28-V Z3 = Z1*t29