Add Mul Pow x2 acoth x0 Mul Mul Add Mul coth x0 x0 x0 4 Mul x6 Pow x7 x3 -5 
Add Mul Mul Mul Add Mul coth x0 x0 x0 4 Mul x6 Pow x7 x3 Mul Pow x2 Add acoth x0 -1 Mul Mul x2 log x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x2 acoth x0 Mul Mul x6 Pow x7 x3 Mul 4 Add Add Mul x0 Mul -1 Pow csch x0 2 coth x0 1 