sec Pow csc Mul x0 Pow coth x0 x0 -3 
Mul Mul tan Pow csc Mul x0 Pow coth x0 x0 -3 sec Pow csc Mul x0 Pow coth x0 x0 -3 Mul Pow csc Mul x0 Pow coth x0 x0 4 Mul -3 Mul Mul Mul -1 cot Mul x0 Pow coth x0 x0 csc Mul x0 Pow coth x0 x0 Add Pow coth x0 x0 Mul x0 Mul Pow coth x0 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 