Pow coth x0 acoth Pow Mul x5 Pow atan pi x0 x6 
Mul Pow coth x0 Add acoth Pow Mul x5 Pow atan pi x0 x6 -1 Add Mul acoth Pow Mul x5 Pow atan pi x0 x6 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Mul Pow Mul x5 Pow atan pi x0 Add x6 -1 Mul x6 Mul x5 Mul Pow atan pi Add x0 -1 Mul atan pi log atan pi Pow Add 1 Mul -1 Mul Pow Mul x5 Pow atan pi x0 x6 Pow Mul x5 Pow atan pi x0 x6 -1 