(k2*k9 + k4*x3 + k6*x2 - x1*(k1 + k5 + k7) - k3*x1*x3)/k8 
-(k6*x2 - k7*x1)/k8 
(k5*x1 - k4*x3)/k8 
