Pow cot x0 atanh coth Mul E x0 
Mul Pow cot x0 Add atanh coth Mul E x0 -1 Add Mul atanh coth Mul E x0 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul Mul Mul -1 Pow csch Mul E x0 2 E Pow Add 1 Mul -1 Mul coth Mul E x0 coth Mul E x0 -1 