Add Pow Add x7 cosh x1 Add acosh acosh Add coth x0 x0 x0 acosh x4 
Mul Pow Add x7 cosh x1 Add Add acosh acosh Add coth x0 x0 x0 -1 Mul Mul Add x7 cosh x1 log Add x7 cosh x1 Add Mul Mul Add Mul -1 Pow csch x0 2 1 Pow Mul sqrt Add Add coth x0 x0 -1 sqrt Add 1 Add coth x0 x0 -1 Pow Mul sqrt Add acosh Add coth x0 x0 -1 sqrt Add 1 acosh Add coth x0 x0 -1 1 