cot Pow log csch sech x0 x4 
Mul Mul -1 Pow csc Pow log csch sech x0 x4 2 Mul Pow log csch sech x0 Add x4 -1 Mul x4 Mul Mul Mul Mul -1 coth sech x0 csch sech x0 Mul tanh x0 Mul -1 sech x0 Pow csch sech x0 -1 