WolframAlpha computational knowledge AI
simplify asin(tanh(2x))-2atan(tanh(x))