atan coth Mul 5 Pow cos asin acot pi csch x0 
Mul Mul Mul -1 Pow csch Mul 5 Pow cos asin acot pi csch x0 2 Mul 5 Mul Pow cos asin acot pi Add csch x0 -1 Mul Mul cos asin acot pi log cos asin acot pi Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul coth Mul 5 Pow cos asin acot pi csch x0 coth Mul 5 Pow cos asin acot pi csch x0 -1 