Add x3 Mul 5 Mul acot atanh Pow x4 x0 Pow Add sqrt Pow Add x0 x6 x0 x7 acoth Add acot pi E 
Mul 5 Add Mul Pow Add sqrt Pow Add x0 x6 x0 x7 acoth Add acot pi E Mul -1 Mul Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Add 1 Mul -1 Mul Pow x4 x0 Pow x4 x0 -1 Pow Add 1 Mul atanh Pow x4 x0 atanh Pow x4 x0 -1 Mul acot atanh Pow x4 x0 Mul Pow Add sqrt Pow Add x0 x6 x0 x7 Add acoth Add acot pi E -1 Mul acoth Add acot pi E Mul Pow Mul 2 sqrt Pow Add x0 x6 x0 -1 Mul Pow Add x0 x6 Add x0 -1 Add x0 Mul Add x0 x6 log Add x0 x6 