[ Eq(x17, x1 + x2),
  Eq(1*k41*x5 + 1*k41*x14, k41*k42) ]