[ Eq(Derivative(x1, t), (1*k12*k1 + 1*k12*k2*k13 + (-1)*k12*k3*x1 + (-1)*k12*k4*x1*x4)/k12),
  Eq(Derivative(x2, t), 0) ]