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