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