T7 = Y1+X1 T8 = Y2+X2 T2 = Y1*Y2 T7 = T7*T8 T7 = T7-T2 T5 = X1*X2 T6 = T5 X3 = T7-T6 T1 = X1+X2 T3 = T1^2 T6 = 2*T6 T3 = T3-T6 T3 = T3*T6 T4 = a*T6 T2 = T2+T4 T8 = T5^2 T5 = T8+1 T2 = T2*T5 Y3 = T2+T3 Z3 = 1-T8