atanh Pow pi Add coth Add x0 Add Mul x0 sec Pow x0 3 1 x4 
Mul Mul Pow pi Add Add coth Add x0 Add Mul x0 sec Pow x0 3 1 x4 -1 Mul Mul pi log pi Mul Mul -1 Pow csch Add x0 Add Mul x0 sec Pow x0 3 1 2 Add 1 Add sec Pow x0 3 Mul x0 Mul Mul tan Pow x0 3 sec Pow x0 3 Mul Pow x0 2 3 Pow Add 1 Mul -1 Mul Pow pi Add coth Add x0 Add Mul x0 sec Pow x0 3 1 x4 Pow pi Add coth Add x0 Add Mul x0 sec Pow x0 3 1 x4 -1 