sec acoth Add Mul Add x0 x1 x6 Pow x0 coth x0 
Mul Mul tan acoth Add Mul Add x0 x1 x6 Pow x0 coth x0 sec acoth Add Mul Add x0 x1 x6 Pow x0 coth x0 Mul Add x6 Mul Pow x0 Add coth x0 -1 Add coth x0 Mul Mul x0 log x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul Add Mul Add x0 x1 x6 Pow x0 coth x0 Add Mul Add x0 x1 x6 Pow x0 coth x0 -1 