Pow x0 Pow acot x0 coth Mul Pow Pow x7 x4 x0 acoth Add Pow x0 asech x4 Add x0 cosh x0 
Mul Pow x0 Add Pow acot x0 coth Mul Pow Pow x7 x4 x0 acoth Add Pow x0 asech x4 Add x0 cosh x0 -1 Add Pow acot x0 coth Mul Pow Pow x7 x4 x0 acoth Add Pow x0 asech x4 Add x0 cosh x0 Mul Mul x0 log x0 Mul Pow acot x0 Add coth Mul Pow Pow x7 x4 x0 acoth Add Pow x0 asech x4 Add x0 cosh x0 -1 Add Mul coth Mul Pow Pow x7 x4 x0 acoth Add Pow x0 asech x4 Add x0 cosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Mul -1 Pow csch Mul Pow Pow x7 x4 x0 acoth Add Pow x0 asech x4 Add x0 cosh x0 2 Add Mul acoth Add Pow x0 asech x4 Add x0 cosh x0 Mul Pow Pow x7 x4 Add x0 -1 Mul Pow x7 x4 log Pow x7 x4 Mul Pow Pow x7 x4 x0 Mul Add Mul Pow x0 Add asech x4 -1 asech x4 Add 1 sinh x0 Pow Add 1 Mul -1 Mul Add Pow x0 asech x4 Add x0 cosh x0 Add Pow x0 asech x4 Add x0 cosh x0 -1 