Add Pow acosh Mul Mul -5 x0 x2 -5 acsch Pow Pow Mul x0 x0 sqrt x6 Mul Pow x0 x6 -5 
Add Mul Pow acosh Mul Mul -5 x0 x2 6 Mul -5 Mul Mul x2 -5 Pow Mul sqrt Add Mul Mul -5 x0 x2 -1 sqrt Add 1 Mul Mul -5 x0 x2 -1 Mul Mul -1 Mul Pow Pow Mul x0 x0 sqrt x6 Add Mul Pow x0 x6 -5 -1 Add Mul Mul Pow x0 x6 -5 Mul Pow Mul x0 x0 Add sqrt x6 -1 Mul sqrt x6 Add x0 x0 Mul Mul Pow Mul x0 x0 sqrt x6 log Pow Mul x0 x0 sqrt x6 Mul -5 Mul Pow x0 Add x6 -1 x6 Pow Mul Mul Pow Pow Mul x0 x0 sqrt x6 Mul Pow x0 x6 -5 Pow Pow Mul x0 x0 sqrt x6 Mul Pow x0 x6 -5 sqrt Add 1 Mul -1 Pow Mul Pow Pow Mul x0 x0 sqrt x6 Mul Pow x0 x6 -5 Pow Pow Mul x0 x0 sqrt x6 Mul Pow x0 x6 -5 -1 -1 