Pow coth csc tan cosh acoth x0 csc Add x7 5 
Mul Pow coth csc tan cosh acoth x0 Add csc Add x7 5 -1 Mul csc Add x7 5 Mul Mul -1 Pow csch csc tan cosh acoth x0 2 Mul Mul Mul -1 cot tan cosh acoth x0 csc tan cosh acoth x0 Mul Pow sec cosh acoth x0 2 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 