Add acoth x4 Mul sqrt acoth Add Pow acosh Pow x5 Add x1 x0 sech acosh x0 Add Mul x2 x0 x4 x7 
Mul x7 Mul Pow Mul 2 sqrt acoth Add Pow acosh Pow x5 Add x1 x0 sech acosh x0 Add Mul x2 x0 x4 -1 Mul Add Mul Pow acosh Pow x5 Add x1 x0 Add sech acosh x0 -1 Add Mul sech acosh x0 Mul Mul Pow x5 Add Add x1 x0 -1 Mul x5 log x5 Pow Mul sqrt Add Pow x5 Add x1 x0 -1 sqrt Add 1 Pow x5 Add x1 x0 -1 Mul Mul acosh Pow x5 Add x1 x0 log acosh Pow x5 Add x1 x0 Mul Mul tanh acosh x0 Mul -1 sech acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 x2 Pow Add 1 Mul -1 Mul Add Pow acosh Pow x5 Add x1 x0 sech acosh x0 Add Mul x2 x0 x4 Add Pow acosh Pow x5 Add x1 x0 sech acosh x0 Add Mul x2 x0 x4 -1 