Pow coth x0 exp Pow x3 Add Mul E Mul x7 acoth acsc pi x0 
Mul Pow coth x0 Add exp Pow x3 Add Mul E Mul x7 acoth acsc pi x0 -1 Add Mul exp Pow x3 Add Mul E Mul x7 acoth acsc pi x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul exp Pow x3 Add Mul E Mul x7 acoth acsc pi x0 Mul Pow x3 Add Add Mul E Mul x7 acoth acsc pi x0 -1 Mul x3 log x3 