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