Problem to express x*log(1+c/x)

-rel_entr(x,x+c) . See Writing a constraint in DCP complient format .