x1*(k1*k7 - k3*x2) 
k6*x3 - k5*x2 
k1*k4*x1 - k6*x3 
