ln(e^x+1) - x