Add Pow x5 acosh Add coth Mul acos x7 Pow x0 x3 cosh x3 5 
Mul Pow x5 Add acosh Add coth Mul acos x7 Pow x0 x3 cosh x3 -1 Mul Mul x5 log x5 Mul Mul Mul -1 Pow csch Mul acos x7 Pow x0 x3 2 Mul acos x7 Mul Pow x0 Add x3 -1 x3 Pow Mul sqrt Add Add coth Mul acos x7 Pow x0 x3 cosh x3 -1 sqrt Add 1 Add coth Mul acos x7 Pow x0 x3 cosh x3 -1 