Add Pow csc Pow csch x0 x0 Add x0 cot Mul asec log x1 x1 x0 
Add Mul Pow csc Pow csch x0 x0 Add Add x0 cot Mul asec log x1 x1 -1 Add Mul Add x0 cot Mul asec log x1 x1 Mul Mul Mul -1 cot Pow csch x0 x0 csc Pow csch x0 x0 Mul Pow csch x0 Add x0 -1 Add Mul x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 log csch x0 Mul csc Pow csch x0 x0 log csc Pow csch x0 x0 1 