[ Diff(x[1], t) = ((-1)*k[13]*(k[1]*x[1]*x[3] - k[9]*x[2]) + 1*k[13]*k[2]*x[2] + (-1)*k[13]*(k[3]*x[1]*x[4] - k[10]*x[5]) + 1*k[13]*k[4]*x[5] + (-1)*k[13]*(k[5]*x[1]*x[3] - k[11]*x[7]) + 1*k[13]*k[6]*x[7] + (-1)*k[13]*(k[7]*x[1]*x[8] - k[12]*x[9]) + 1*k[13]*k[8]*x[9])/k[13],
  Diff(x[2], t) = (1*k[13]*(k[1]*x[1]*x[3] - k[9]*x[2]) + (-1)*k[13]*k[2]*x[2])/k[13],
  Diff(x[3], t) = ((-1)*k[13]*(k[1]*x[1]*x[3] - k[9]*x[2]) + (-1)*k[13]*(k[5]*x[1]*x[3] - k[11]*x[7]))/k[13],
  Diff(x[4], t) = (1*k[13]*k[2]*x[2] + (-1)*k[13]*(k[3]*x[1]*x[4] - k[10]*x[5]))/k[13],
  Diff(x[5], t) = (1*k[13]*(k[3]*x[1]*x[4] - k[10]*x[5]) + (-1)*k[13]*k[4]*x[5])/k[13],
  Diff(x[6], t) = (1*k[13]*k[4]*x[5] + 1*k[13]*k[8]*x[9])/k[13],
  Diff(x[7], t) = (1*k[13]*(k[5]*x[1]*x[3] - k[11]*x[7]) + (-1)*k[13]*k[6]*x[7])/k[13],
  Diff(x[8], t) = (1*k[13]*k[6]*x[7] + (-1)*k[13]*(k[7]*x[1]*x[8] - k[12]*x[9]))/k[13],
  Diff(x[9], t) = (1*k[13]*(k[7]*x[1]*x[8] - k[12]*x[9]) + (-1)*k[13]*k[8]*x[9])/k[13] ]