{ diff(x2, t) = (1*k7*k4*x1 + (-1)*k7*k3*x2)/k7,
  diff(x3, t) = (1*k7*k5*x1/x2 + (-1)*k7*k6*x3)/k7 }