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