[ Eq(1*k5*x1 + 1*k5*x3, k5*k7),
  Eq(1*k5*x2 + 1*k5*x3 + 2*k5*x4 + 1*k5*x6, k5*k8) ]