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