Mul Mul Mul csch Add x0 x7 4 Add x0 atan acos log asech coth x0 x4 
Mul x4 Add Mul Add x0 atan acos log asech coth x0 Mul 4 Mul Mul -1 coth Add x0 x7 csch Add x0 x7 Mul Mul csch Add x0 x7 4 Add 1 Mul Mul -1 Mul Mul Mul Mul -1 Pow csch x0 2 Pow Mul Mul coth x0 coth x0 sqrt Add 1 Mul -1 Pow Mul coth x0 coth x0 -1 -1 Pow asech coth x0 -1 Pow sqrt Add 1 Mul -1 Mul log asech coth x0 log asech coth x0 -1 Pow Add 1 Mul acos log asech coth x0 acos log asech coth x0 -1 