WolframAlpha computational knowledge AI
d/dx( (x^2)/ln(cosh(x)+1) )