d(e^x/(1+e^x)-ln(1+e^x))/dx