Pow Add -1 Add E Pow sqrt acot Mul E -2 Mul Mul x6 Pow x0 x0 4 Add x0 Pow Mul x5 x2 acoth x0 
Mul Pow Add -1 Add E Pow sqrt acot Mul E -2 Mul Mul x6 Pow x0 x0 4 Add Add x0 Pow Mul x5 x2 acoth x0 -1 Add Mul Add x0 Pow Mul x5 x2 acoth x0 Mul Pow sqrt acot Mul E -2 Add Mul Mul x6 Pow x0 x0 4 -1 Mul Mul sqrt acot Mul E -2 log sqrt acot Mul E -2 Mul 4 Mul x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Add -1 Add E Pow sqrt acot Mul E -2 Mul Mul x6 Pow x0 x0 4 log Add -1 Add E Pow sqrt acot Mul E -2 Mul Mul x6 Pow x0 x0 4 Add 1 Mul Pow Mul x5 x2 Add acoth x0 -1 Mul Mul Mul x5 x2 log Mul x5 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 