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