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