Mul Mul Mul Add Mul x0 x0 x1 Add atanh x0 x0 5 acoth Pow x1 acosh Pow Mul Mul -2 x0 x6 4 
Add Mul acoth Pow x1 acosh Pow Mul Mul -2 x0 x6 4 Mul 5 Add Mul Add atanh x0 x0 Add x0 x0 Mul Add Mul x0 x0 x1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Mul Mul Add Mul x0 x0 x1 Add atanh x0 x0 5 Mul Mul Pow x1 Add acosh Pow Mul Mul -2 x0 x6 4 -1 Mul Mul x1 log x1 Mul Mul Pow Mul Mul -2 x0 x6 3 Mul 4 Mul x6 -2 Pow Mul sqrt Add Pow Mul Mul -2 x0 x6 4 -1 sqrt Add 1 Pow Mul Mul -2 x0 x6 4 -1 Pow Add 1 Mul -1 Mul Pow x1 acosh Pow Mul Mul -2 x0 x6 4 Pow x1 acosh Pow Mul Mul -2 x0 x6 4 -1 