T0 = X1*Z1 X3 = T0*Y1 X3 = X3+X3 T0 = T0^2 t0 = a*T0 T1 = 2*t0 T2 = Y1^2 Z3 = T2-T1 Y3 = T0^2 Y3 = b*Y3 T0 = T2^2 Y3 = Y3+T0 T0 = X1^2 T0 = T0^2 Z3 = Z3-T0 Z3 = Z3-T0