[ Diff(x[1], t) = 0,
  Diff(x[2], t) = 0,
  Diff(x[3], t) = 0,
  Diff(x[4], t) = ((-1)*k[20]*(k[1]*k[21]*x[4] - k[2]*x[5]) + 1*k[20]*(k[5]*x[6] - k[6]*x[9]*x[4]) + (-1)*k[20]*k[7]*x[4] + 1*k[20]*(k[12]*x[11] - k[13]*x[4]*x[8]) + 1*k[20]*(k[17]*x[7] - k[18]*x[4]*x[8]))/k[20],
  Diff(x[5], t) = (1*k[20]*(k[1]*k[21]*x[4] - k[2]*x[5]) + (-1)*k[20]*(k[3]*k[23]*x[5] - k[4]*x[6]) + (-1)*k[20]*(k[15]*k[22]*x[5] - k[16]*x[7]))/k[20],
  Diff(x[6], t) = (1*k[20]*(k[3]*k[23]*x[5] - k[4]*x[6]) + (-1)*k[20]*(k[5]*x[6] - k[6]*x[9]*x[4]))/k[20],
  Diff(x[7], t) = (1*k[20]*(k[15]*k[22]*x[5] - k[16]*x[7]) + (-1)*k[20]*(k[17]*x[7] - k[18]*x[4]*x[8]))/k[20],
  Diff(x[8], t) = ((-1)*k[20]*(k[8]*x[9]*x[8] - k[9]*x[10]) + 1*k[20]*(k[12]*x[11] - k[13]*x[4]*x[8]) + (-1)*k[20]*k[7]*x[8] + 1*k[20]*(k[17]*x[7] - k[18]*x[4]*x[8]))/k[20],
  Diff(x[9], t) = (1*k[20]*(k[5]*x[6] - k[6]*x[9]*x[4]) + (-1)*k[20]*(k[8]*x[9]*x[8] - k[9]*x[10]) + (-1)*k[20]*k[7]*x[9])/k[20],
  Diff(x[10], t) = (1*k[20]*(k[8]*x[9]*x[8] - k[9]*x[10]) + (-1)*k[20]*(k[10]*k[22]*x[10] - k[11]*x[11]))/k[20],
  Diff(x[11], t) = (1*k[20]*(k[10]*k[22]*x[10] - k[11]*x[11]) + (-1)*k[20]*(k[12]*x[11] - k[13]*x[4]*x[8]))/k[20] ]