[ Diff(x[1], t) = (1*k[31]*(k[3]*x[4]*x[14] - x[1]*k[4]) + 1*k[31]*((k[6] + x[8])*x[2] - (k[5] + x[7])*x[1]))/k[31],
  Diff(x[2], t) = ((-1)*k[31]*((k[6] + x[8])*x[2] - (k[5] + x[7])*x[1]) + (-1)*(k[14]*x[2]*x[11] - k[15]*x[12])*k[31] + 1*k[31]*k[16]*k[19]*x[13] + (-1)*k[31]*(k[7] + k[18]*x[10])*x[2])/k[31],
  Diff(x[3], t) = 0/k[31],
  Diff(x[5], t) = ((-1)*k[31]*((k[24] + k[27]*x[2])*x[5] - x[6]*k[21]) + (-1)*k[31]*k[9]*x[5] + 1*k[31]*k[8])/k[31],
  Diff(x[6], t) = (1*k[31]*((k[24] + k[27]*x[2])*x[5] - x[6]*k[21]) + (-1)*k[31]*((k[24] + k[27]*x[2])*x[6] - k[21]*x[7]) + (-1)*k[31]*k[9]*x[6])/k[31],
  Diff(x[7], t) = (1*k[31]*((k[24] + k[27]*x[2])*x[6] - k[21]*x[7]) + (-1)*k[31]*k[9]*x[7])/k[31],
  Diff(x[8], t) = (1*k[10]*k[31] + (-1)*k[31]*((k[25] + k[28]*x[2])*x[8] - k[22]*x[9]) + (-1)*k[31]*x[8]*k[11])/k[31],
  Diff(x[9], t) = (1*k[31]*((k[25] + k[28]*x[2])*x[8] - k[22]*x[9]) + (-1)*k[31]*k[11]*x[9])/k[31],
  Diff(x[10], t) = (1*k[31]*x[2]^2/(k[20]^2 + x[2]^2)/k[30] + (-1)*k[31]*x[10]/k[30])/k[31],
  Diff(x[11], t) = (1*k[12]*k[31] + (-1)*(k[14]*x[2]*x[11] - k[15]*x[12])*k[31] + (-1)*k[31]*k[13]*x[11])/k[31],
  Diff(x[12], t) = (1*(k[14]*x[2]*x[11] - k[15]*x[12])*k[31] + (-1)*k[31]*((k[26] + k[29]*x[2])*x[12] - k[23]*x[13]))/k[31],
  Diff(x[13], t) = (1*k[31]*((k[26] + k[29]*x[2])*x[12] - k[23]*x[13]) + (-1)*k[31]*k[16]*k[19]*x[13])/k[31],
  Diff(x[14], t) = (1*k[1]*k[31] + (-1)*k[31]*(k[3]*x[4]*x[14] - x[1]*k[4]) + (-1)*k[31]*(k[2] + k[17]*x[10])*x[14])/k[31] ]