Mul Pow x7 Mul Pow Add Add coth coth x0 acot x0 x0 Mul x0 x0 4 x0 
Add Mul x0 Mul Pow x7 Add Mul Pow Add Add coth coth x0 acot x0 x0 Mul x0 x0 4 -1 Mul Mul x7 log x7 Mul 4 Mul Pow Add Add coth coth x0 acot x0 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Add Add Mul Mul -1 Pow csch coth x0 2 Mul -1 Pow csch x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Mul Add Add coth coth x0 acot x0 x0 log Add Add coth coth x0 acot x0 x0 Add x0 x0 Pow x7 Mul Pow Add Add coth coth x0 acot x0 x0 Mul x0 x0 4 