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