Quel est la derivée de : e^-x * ln(1+e^x)