T1 = X2*X3 T2 = Z2*Z3 T3 = X2*Z3 T4 = Z2*X3 T5 = a*T2 T6 = T1-T5 T7 = T6^2 T8 = b*T2 T9 = 4*T8 T10 = T3+T4 T11 = T9*T10 T12 = T7-T11 X5 = Z1*T12 T13 = T3-T4 T14 = T13^2 Z5 = X1*T14