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