Pow x7 Mul Mul x0 Pow sec coth Pow x0 -5 x0 coth atanh pi 
Mul Pow x7 Add Mul Mul x0 Pow sec coth Pow x0 -5 x0 coth atanh pi -1 Mul Mul x7 log x7 Mul coth atanh pi Add Pow sec coth Pow x0 -5 x0 Mul x0 Mul Pow sec coth Pow x0 -5 Add x0 -1 Add Mul x0 Mul Mul tan coth Pow x0 -5 sec coth Pow x0 -5 Mul Mul -1 Pow csch Pow x0 -5 2 Mul Pow x0 6 -5 Mul sec coth Pow x0 -5 log sec coth Pow x0 -5 