Add Pow x0 Add x0 csch Pow x0 Mul csch x0 pi Pow x7 Mul 4 x0 
Add Mul Pow x0 Add Add x0 csch Pow x0 Mul csch x0 pi -1 Add Add x0 csch Pow x0 Mul csch x0 pi Mul Mul x0 log x0 Add 1 Mul Mul Mul -1 coth Pow x0 Mul csch x0 pi csch Pow x0 Mul csch x0 pi Mul Pow x0 Add Mul csch x0 pi -1 Add Mul csch x0 pi Mul Mul x0 log x0 Mul pi Mul Mul -1 coth x0 csch x0 Mul Pow x7 Add Mul 4 x0 -1 Mul Mul x7 log x7 4 