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