Pow cot cosh x0 csc cos sech x0 
Mul Pow cot cosh x0 Add csc cos sech x0 -1 Add Mul csc cos sech x0 Mul Mul -1 Pow csc cosh x0 2 sinh x0 Mul Mul cot cosh x0 log cot cosh x0 Mul Mul Mul -1 cot cos sech x0 csc cos sech x0 Mul Mul -1 sin sech x0 Mul tanh x0 Mul -1 sech x0 