Pow Add Mul Pow x0 x7 Mul Pow Pow acosh x0 x2 Mul Pow x7 Pow coth Mul x0 2 x1 x6 x7 acoth Pow x2 x0 x5 
Mul Pow Add Mul Pow x0 x7 Mul Pow Pow acosh x0 x2 Mul Pow x7 Pow coth Mul x0 2 x1 x6 x7 acoth Pow x2 x0 Add x5 -1 Mul x5 Add Add Mul Mul Pow Pow acosh x0 x2 Mul Pow x7 Pow coth Mul x0 2 x1 x6 x7 Mul Pow x0 Add x7 -1 x7 Mul Pow x0 x7 Mul x7 Mul Pow Pow acosh x0 x2 Add Mul Pow x7 Pow coth Mul x0 2 x1 x6 -1 Add Mul Mul Pow x7 Pow coth Mul x0 2 x1 x6 Mul Pow acosh x0 Add x2 -1 Mul x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow acosh x0 x2 log Pow acosh x0 x2 Mul x6 Mul Pow x7 Add Pow coth Mul x0 2 x1 -1 Mul Mul x7 log x7 Mul Pow coth Mul x0 2 Add x1 -1 Mul x1 Mul Mul -1 Pow csch Mul x0 2 2 2 Mul Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul -1 Mul Pow x2 x0 Pow x2 x0 -1 