Add Pow Pow cosh x0 acoth Mul x0 E acoth Add Add x0 x6 x0 sec Pow x7 x0 
Add Mul Pow Pow cosh x0 acoth Mul x0 E Add acoth Add Add x0 x6 x0 -1 Add Mul acoth Add Add x0 x6 x0 Mul Pow cosh x0 Add acoth Mul x0 E -1 Add Mul acoth Mul x0 E sinh x0 Mul Mul cosh x0 log cosh x0 Mul E Pow Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 Mul Mul Pow cosh x0 acoth Mul x0 E log Pow cosh x0 acoth Mul x0 E Mul 2 Pow Add 1 Mul -1 Mul Add Add x0 x6 x0 Add Add x0 x6 x0 -1 Mul Mul tan Pow x7 x0 sec Pow x7 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 