[ x[15] = x[1] + x[4],
  1*k[11]*x[1] + 1*k[11]*x[2] + 1*k[11]*x[3] + 1*k[11]*x[4] + 1*k[11]*x[5] + 1*k[11]*x[6] + 1*k[11]*x[7] + 1*k[11]*x[8] = k[11]*k[18] ]