Mul 5 Mul Add acosh acos acosh x2 Pow x0 -4 Mul x0 asec Pow x0 acoth Mul Add sqrt x0 x6 x0 
Mul 5 Add Mul Mul x0 asec Pow x0 acoth Mul Add sqrt x0 x6 x0 Mul Pow x0 5 -4 Mul Add acosh acos acosh x2 Pow x0 -4 Add asec Pow x0 acoth Mul Add sqrt x0 x6 x0 Mul x0 Mul Mul Pow x0 Add acoth Mul Add sqrt x0 x6 x0 -1 Add acoth Mul Add sqrt x0 x6 x0 Mul Mul x0 log x0 Mul Add Mul x0 Pow Mul 2 sqrt x0 -1 Add sqrt x0 x6 Pow Add 1 Mul -1 Mul Mul Add sqrt x0 x6 x0 Mul Add sqrt x0 x6 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 acoth Mul Add sqrt x0 x6 x0 Pow x0 acoth Mul Add sqrt x0 x6 x0 -1 Pow x0 acoth Mul Add sqrt x0 x6 x0 Pow x0 acoth Mul Add sqrt x0 x6 x0 -1 