k7*x2 - k3*k8*x1 - k4*x1*x3 
k5*k8*x3 - k7*x2 
k3*k8*x1 - 2*k6*x3^2 + k5*k8*x3 - k4*x1*x3 
