Pow Mul 4 exp Mul Add acosh x5 Pow Mul -1 Mul Pow Pow x1 x0 x4 -5 x7 acosh acoth x3 x0 
Mul Pow Mul 4 exp Mul Add acosh x5 Pow Mul -1 Mul Pow Pow x1 x0 x4 -5 x7 acosh acoth x3 Add x0 -1 Add Mul x0 Mul 4 Mul exp Mul Add acosh x5 Pow Mul -1 Mul Pow Pow x1 x0 x4 -5 x7 acosh acoth x3 Mul acosh acoth x3 Mul Pow Mul -1 Mul Pow Pow x1 x0 x4 -5 Add x7 -1 Mul x7 Mul -1 Mul -5 Mul Pow Pow x1 x0 Add x4 -1 Mul x4 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul 4 exp Mul Add acosh x5 Pow Mul -1 Mul Pow Pow x1 x0 x4 -5 x7 acosh acoth x3 log Mul 4 exp Mul Add acosh x5 Pow Mul -1 Mul Pow Pow x1 x0 x4 -5 x7 acosh acoth x3 