[ Eq(x2, k13 - x1),
  Eq(x4, k11 - x3),
  Eq(x6, k12 - x5),
  Eq(x7, x8 + x9) ]