sec acoth Add x7 Add Mul cos x0 Pow x6 x3 coth x0 
Mul Mul tan acoth Add x7 Add Mul cos x0 Pow x6 x3 coth x0 sec acoth Add x7 Add Mul cos x0 Pow x6 x3 coth x0 Mul Add Mul Pow x6 x3 Mul -1 sin x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul Add x7 Add Mul cos x0 Pow x6 x3 coth x0 Add x7 Add Mul cos x0 Pow x6 x3 coth x0 -1 