Pow asec csch x0 Pow x6 Pow x0 x6 
Mul Pow asec csch x0 Add Pow x6 Pow x0 x6 -1 Add Mul Pow x6 Pow x0 x6 Mul Mul Mul -1 coth x0 csch x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul csch x0 csch x0 -1 csch x0 csch x0 -1 Mul Mul asec csch x0 log asec csch x0 Mul Pow x6 Add Pow x0 x6 -1 Mul Mul x6 log x6 Mul Pow x0 Add x6 -1 x6 