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