Mul 7.38905609893065 Pow acosh Add 3 x0 sec Mul x0 Mul sech Mul x1 x0 pi 
Mul 7.38905609893065 Mul Pow acosh Add 3 x0 Add sec Mul x0 Mul sech Mul x1 x0 pi -1 Add Mul sec Mul x0 Mul sech Mul x1 x0 pi Pow Mul sqrt Add Add 3 x0 -1 sqrt Add 1 Add 3 x0 -1 Mul Mul acosh Add 3 x0 log acosh Add 3 x0 Mul Mul tan Mul x0 Mul sech Mul x1 x0 pi sec Mul x0 Mul sech Mul x1 x0 pi Add Mul sech Mul x1 x0 pi Mul x0 Mul pi Mul Mul tanh Mul x1 x0 Mul -1 sech Mul x1 x0 x1 