Mul Mul Mul Pow Pow x0 pi coth x0 Pow x7 6 E Mul 5 Pow x0 x0 
Add Mul Mul 5 Pow x0 x0 Mul E Mul Pow x7 6 Mul Pow Pow x0 pi Add coth x0 -1 Add Mul coth x0 Mul Pow x0 Add pi -1 pi Mul Mul Pow x0 pi log Pow x0 pi Mul -1 Pow csch x0 2 Mul Mul Mul Pow Pow x0 pi coth x0 Pow x7 6 E Mul 5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 