Mul Mul sqrt csch cosh Pow cosh acoth x4 x0 -4 tan sech sqrt x7 
Mul tan sech sqrt x7 Mul -4 Mul Pow Mul 2 sqrt csch cosh Pow cosh acoth x4 x0 -1 Mul Mul Mul -1 coth cosh Pow cosh acoth x4 x0 csch cosh Pow cosh acoth x4 x0 Mul sinh Pow cosh acoth x4 x0 Mul Pow cosh acoth x4 Add x0 -1 Mul cosh acoth x4 log cosh acoth x4 