Pow Pow Mul x0 x0 Pow E x0 atanh sqrt Pow acoth sqrt Add -5 x6 x0 
Mul Pow Pow Mul x0 x0 Pow E x0 Add atanh sqrt Pow acoth sqrt Add -5 x6 x0 -1 Add Mul atanh sqrt Pow acoth sqrt Add -5 x6 x0 Mul Pow Mul x0 x0 Add Pow E x0 -1 Add Mul Pow E x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow E Add x0 -1 Mul E log E Mul Mul Pow Mul x0 x0 Pow E x0 log Pow Mul x0 x0 Pow E x0 Mul Mul Pow Mul 2 sqrt Pow acoth sqrt Add -5 x6 x0 -1 Mul Pow acoth sqrt Add -5 x6 Add x0 -1 Mul acoth sqrt Add -5 x6 log acoth sqrt Add -5 x6 Pow Add 1 Mul -1 Mul sqrt Pow acoth sqrt Add -5 x6 x0 sqrt Pow acoth sqrt Add -5 x6 x0 -1 