acoth coth Add Pow x3 Mul 3 x0 x0 
Mul Mul Mul -1 Pow csch Add Pow x3 Mul 3 x0 x0 2 Add Mul Pow x3 Add Mul 3 x0 -1 Mul Mul x3 log x3 3 1 Pow Add 1 Mul -1 Mul coth Add Pow x3 Mul 3 x0 x0 coth Add Pow x3 Mul 3 x0 x0 -1 