WolframAlpha computational knowledge AI
integral arctan(1/(cosh(x)))