Mul Mul Mul sech acos cosh Mul x6 x0 acosh Mul pi x2 5 x4 
Mul x4 Mul 5 Mul acosh Mul pi x2 Mul Mul tanh acos cosh Mul x6 x0 Mul -1 sech acos cosh Mul x6 x0 Mul -1 Mul Mul sinh Mul x6 x0 x6 Pow sqrt Add 1 Mul -1 Mul cosh Mul x6 x0 cosh Mul x6 x0 -1 