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