Mul Pow x2 pi Mul Pow x0 Mul exp acsc pi x0 csch x0 
Mul Pow x2 pi Add Mul csch x0 Mul Pow x0 Add Mul exp acsc pi x0 -1 Add Mul exp acsc pi x0 Mul Mul x0 log x0 exp acsc pi Mul Pow x0 Mul exp acsc pi x0 Mul Mul -1 coth x0 csch x0 