Pow atanh exp cosh coth x0 cos x7 
Mul Pow atanh exp cosh coth x0 Add cos x7 -1 Mul cos x7 Mul Mul exp cosh coth x0 Mul sinh coth x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul exp cosh coth x0 exp cosh coth x0 -1 