Pow Mul Pow x0 Add Add x0 Mul -1 x0 x0 Mul Pow Pow Mul x2 3 x0 acoth E Add x0 acoth x1 x0 
Mul Pow Mul Pow x0 Add Add x0 Mul -1 x0 x0 Mul Pow Pow Mul x2 3 x0 acoth E Add x0 acoth x1 Add x0 -1 Add Mul x0 Add Mul Mul Pow Pow Mul x2 3 x0 acoth E Add x0 acoth x1 Mul Pow x0 Add Add Add x0 Mul -1 x0 x0 -1 Add Add Add x0 Mul -1 x0 x0 Mul x0 log x0 Mul Pow x0 Add Add x0 Mul -1 x0 x0 Add Mul Add x0 acoth x1 Mul Pow Pow Mul x2 3 x0 Add acoth E -1 Mul acoth E Mul Pow Mul x2 3 Add x0 -1 Mul Mul x2 3 log Mul x2 3 Pow Pow Mul x2 3 x0 acoth E Mul Mul Pow x0 Add Add x0 Mul -1 x0 x0 Mul Pow Pow Mul x2 3 x0 acoth E Add x0 acoth x1 log Mul Pow x0 Add Add x0 Mul -1 x0 x0 Mul Pow Pow Mul x2 3 x0 acoth E Add x0 acoth x1 