WolframAlpha computational knowledge AI
2*cosh(sqrt(2)*arccosh(x/2))