atan asec sec acoth Pow log x0 coth x0 
Mul Mul Mul Mul tan acoth Pow log x0 coth x0 sec acoth Pow log x0 coth x0 Mul Mul Pow log x0 Add coth x0 -1 Add Mul coth x0 Pow x0 -1 Mul Mul log x0 log log x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul Pow log x0 coth x0 Pow log x0 coth x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sec acoth Pow log x0 coth x0 sec acoth Pow log x0 coth x0 -1 sec acoth Pow log x0 coth x0 sec acoth Pow log x0 coth x0 -1 Pow Add 1 Mul asec sec acoth Pow log x0 coth x0 asec sec acoth Pow log x0 coth x0 -1 