Pow x0 coth Mul Add 1 exp Pow x4 acot E Mul Pow Pow cosh x0 x0 x0 Mul x7 x1 
Mul Pow x0 Add coth Mul Add 1 exp Pow x4 acot E Mul Pow Pow cosh x0 x0 x0 Mul x7 x1 -1 Add coth Mul Add 1 exp Pow x4 acot E Mul Pow Pow cosh x0 x0 x0 Mul x7 x1 Mul Mul x0 log x0 Mul Mul -1 Pow csch Mul Add 1 exp Pow x4 acot E Mul Pow Pow cosh x0 x0 x0 Mul x7 x1 2 Mul Add 1 exp Pow x4 acot E Mul Mul x7 x1 Mul Pow Pow cosh x0 x0 Add x0 -1 Add Mul x0 Mul Pow cosh x0 Add x0 -1 Add Mul x0 sinh x0 Mul cosh x0 log cosh x0 Mul Pow cosh x0 x0 log Pow cosh x0 x0 