{ diff(x1, t) = (1*k9*k1*x3 + 1*k9*k2*k10 + (-1)*k9*k3*x1)/k9,
  diff(x2, t) = 0 }