exp Mul Pow cosh x7 Add Pow 4 Add x0 1 coth asech Pow x0 sec x5 x0 
Mul exp Mul Pow cosh x7 Add Pow 4 Add x0 1 coth asech Pow x0 sec x5 x0 Add Mul x0 Mul Pow cosh x7 Add Add Pow 4 Add x0 1 coth asech Pow x0 sec x5 -1 Mul Mul cosh x7 log cosh x7 Add Mul Pow 4 Add Add x0 1 -1 5.38629436111989 Mul Mul -1 Pow csch asech Pow x0 sec x5 2 Mul Mul Pow x0 Add sec x5 -1 sec x5 Pow Mul Mul Pow x0 sec x5 Pow x0 sec x5 sqrt Add 1 Mul -1 Pow Mul Pow x0 sec x5 Pow x0 sec x5 -1 -1 Pow cosh x7 Add Pow 4 Add x0 1 coth asech Pow x0 sec x5 