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