Pow atanh Add pi x4 Pow coth Mul x0 x0 Mul E x0 
Mul Pow atanh Add pi x4 Add Pow coth Mul x0 x0 Mul E x0 -1 Mul Mul atanh Add pi x4 log atanh Add pi x4 Mul Pow coth Mul x0 x0 Add Mul E x0 -1 Add Mul Mul E x0 Mul Mul -1 Pow csch Mul x0 x0 2 Add x0 x0 Mul Mul coth Mul x0 x0 log coth Mul x0 x0 E 