SC1 = S1*C1 E = D1^2 F = SC1^2 G = a*F Z3 = E+G D3 = E-G CC1 = C1^2 t0 = CC1^2 t1 = F+t0 t2 = 2*t1 C3 = t2-Z3 t3 = SC1+D1 t4 = t3^2 t5 = t4-E S3 = t5-F