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