Pow x6 Pow Mul x7 cbrt Mul Pow x0 Mul x0 Add Add x0 x3 x3 Pow acoth Mul x0 -2 acoth x0 x1 
Mul Pow x6 Add Pow Mul x7 cbrt Mul Pow x0 Mul x0 Add Add x0 x3 x3 Pow acoth Mul x0 -2 acoth x0 x1 -1 Mul Mul x6 log x6 Mul Pow Mul x7 cbrt Mul Pow x0 Mul x0 Add Add x0 x3 x3 Pow acoth Mul x0 -2 acoth x0 Add x1 -1 Mul x1 Mul x7 Mul Pow Mul Mul 3 cbrt Mul Pow x0 Mul x0 Add Add x0 x3 x3 Pow acoth Mul x0 -2 acoth x0 cbrt Mul Pow x0 Mul x0 Add Add x0 x3 x3 Pow acoth Mul x0 -2 acoth x0 -1 Add Mul Pow acoth Mul x0 -2 acoth x0 Mul Pow x0 Add Mul x0 Add Add x0 x3 x3 -1 Add Mul x0 Add Add x0 x3 x3 Mul Mul x0 log x0 Add Add Add x0 x3 x3 x0 Mul Pow x0 Mul x0 Add Add x0 x3 x3 Mul Pow acoth Mul x0 -2 Add acoth x0 -1 Add Mul acoth x0 Mul -2 Pow Add 1 Mul -1 Mul Mul x0 -2 Mul x0 -2 -1 Mul Mul acoth Mul x0 -2 log acoth Mul x0 -2 Pow Add 1 Mul -1 Mul x0 x0 -1 