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