atanh atan Pow coth x0 csch Pow Mul x0 2 x0 
Mul Mul Mul Pow coth x0 Add csch Pow Mul x0 2 x0 -1 Add Mul csch Pow Mul x0 2 x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Mul Mul -1 coth Pow Mul x0 2 x0 csch Pow Mul x0 2 x0 Mul Pow Mul x0 2 Add x0 -1 Add Mul x0 2 Mul Mul x0 2 log Mul x0 2 Pow Add 1 Mul Pow coth x0 csch Pow Mul x0 2 x0 Pow coth x0 csch Pow Mul x0 2 x0 -1 Pow Add 1 Mul -1 Mul atan Pow coth x0 csch Pow Mul x0 2 x0 atan Pow coth x0 csch Pow Mul x0 2 x0 -1 