[ Eq(x1, x2 + x3),
  Eq(1*k2*x2 + 1*k2*x3 + 1*k2*x4 + 1*k3*x5 + 1*k4*x6, k2*k9 + k3*k10 + k4*k11) ]