Mul sin csch x0 Pow Add sin cos x7 -3 sinh exp Add x0 1 
Add Mul Pow Add sin cos x7 -3 sinh exp Add x0 1 Mul cos csch x0 Mul Mul -1 coth x0 csch x0 Mul sin csch x0 Mul Pow Add sin cos x7 -3 Add sinh exp Add x0 1 -1 Mul Mul Add sin cos x7 -3 log Add sin cos x7 -3 Mul cosh exp Add x0 1 exp Add x0 1 