WolframAlpha computational knowledge AI
second derivative of ln(1 + 1 / (e^x (1 + e^x)))