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