Pow x0 Mul Mul Mul x0 coth pi acoth x0 acsc E 
Mul Pow x0 Add Mul Mul Mul x0 coth pi acoth x0 acsc E -1 Add Mul Mul Mul x0 coth pi acoth x0 acsc E Mul Mul x0 log x0 Mul acsc E Add Mul acoth x0 coth pi Mul Mul x0 coth pi Pow Add 1 Mul -1 Mul x0 x0 -1 