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