[ Diff(x[1], t) = (1*k[12]*k[1] + 1*k[12]*k[2]*k[13] + (-1)*k[12]*k[3]*x[1] + (-1)*k[12]*k[4]*x[1]*x[4])/k[12],
  Diff(x[2], t) = 0 ]