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