csch Pow x2 coth Mul atanh x5 x0 
Mul Mul Mul -1 coth Pow x2 coth Mul atanh x5 x0 csch Pow x2 coth Mul atanh x5 x0 Mul Pow x2 Add coth Mul atanh x5 x0 -1 Mul Mul x2 log x2 Mul Mul -1 Pow csch Mul atanh x5 x0 2 atanh x5 