Add Pow acoth Pow Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 x0 x0 1 
Mul Pow acoth Pow Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 x0 Add x0 -1 Add Mul x0 Mul Mul Pow Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 Add x0 -1 Add Mul x0 Add Mul Mul csch x0 Pow sec E x0 Mul Pow x1 Add Mul asin x0 x3 -1 Mul Mul x1 log x1 Mul x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x1 Mul asin x0 x3 Add Mul Pow sec E x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 Mul Pow sec E Add x0 -1 Mul sec E log sec E Mul Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 log Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 Pow Add 1 Mul -1 Mul Pow Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 x0 Pow Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 x0 -1 Mul acoth Pow Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 x0 log acoth Pow Mul Pow x1 Mul asin x0 x3 Mul csch x0 Pow sec E x0 x0 