Mul Add Mul cos x6 csch Mul x0 2 Mul acoth x0 x0 Mul Mul Pow cosh x7 sinh acot x0 x0 E 
Add Mul Mul Mul Pow cosh x7 sinh acot x0 x0 E Add Mul cos x6 Mul Mul Mul -1 coth Mul x0 2 csch Mul x0 2 2 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 Mul Add Mul cos x6 csch Mul x0 2 Mul acoth x0 x0 Mul E Add Mul x0 Mul Pow cosh x7 Add sinh acot x0 -1 Mul Mul cosh x7 log cosh x7 Mul cosh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow cosh x7 sinh acot x0 