[ Eq(Derivative(x1, t), (1*k2*x2 + (-1)*k1*x1)/k3),
  Eq(Derivative(x2, t), ((-1)*k2*x2 + 1*k1*x1)/k3) ]