(1/2) * ln(e^2x + 1)

を微分すると

e^x / (e^(2x) + 1)

になると思うのですがなりませんか？