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