Mul Pow x0 Pow x2 asech Pow acoth Mul x0 x6 acos x5 atan cosh x0 
Add Mul atan cosh x0 Mul Pow x0 Add Pow x2 asech Pow acoth Mul x0 x6 acos x5 -1 Add Pow x2 asech Pow acoth Mul x0 x6 acos x5 Mul Mul x0 log x0 Mul Pow x2 Add asech Pow acoth Mul x0 x6 acos x5 -1 Mul Mul x2 log x2 Mul Mul Pow acoth Mul x0 x6 Add acos x5 -1 Mul acos x5 Mul x6 Pow Add 1 Mul -1 Mul Mul x0 x6 Mul x0 x6 -1 Pow Mul Mul Pow acoth Mul x0 x6 acos x5 Pow acoth Mul x0 x6 acos x5 sqrt Add 1 Mul -1 Pow Mul Pow acoth Mul x0 x6 acos x5 Pow acoth Mul x0 x6 acos x5 -1 -1 Mul Pow x0 Pow x2 asech Pow acoth Mul x0 x6 acos x5 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 