Add acosh coth x0 Pow atanh Pow pi x0 exp x0 
Add Mul Mul -1 Pow csch x0 2 Pow Mul sqrt Add coth x0 -1 sqrt Add 1 coth x0 -1 Mul Pow atanh Pow pi x0 Add exp x0 -1 Add Mul exp x0 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul -1 Mul Pow pi x0 Pow pi x0 -1 Mul Mul atanh Pow pi x0 log atanh Pow pi x0 exp x0 