[ Eq(x3, x4 + x2),
  Eq(x4, k1*k2/(k2*(1 + x2/k4) + k3)) ]