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