[ Eq(x21, (x18 + x7 + x19 + x8)/2),
  Eq(x22, (x18 + x7)*k16),
  Eq(x23, (x19 + x8)*k17),
  Eq(x24, (x7 + x8)/2*k18),
  Eq(x25, x7*k19),
  Eq(x26, x8*k20),
  Eq(x27, x20),
  Eq(x28, (x19 + x8)/(x18 + x7)) ]