Mul x0 cbrt Mul Pow Mul x7 acoth x0 x0 exp Pow acoth x5 x0 
Add cbrt Mul Pow Mul x7 acoth x0 x0 exp Pow acoth x5 x0 Mul x0 Mul Pow Mul Mul 3 cbrt Mul Pow Mul x7 acoth x0 x0 exp Pow acoth x5 x0 cbrt Mul Pow Mul x7 acoth x0 x0 exp Pow acoth x5 x0 -1 Add Mul exp Pow acoth x5 x0 Mul Pow Mul x7 acoth x0 Add x0 -1 Add Mul x0 Mul x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x7 acoth x0 log Mul x7 acoth x0 Mul Pow Mul x7 acoth x0 x0 Mul exp Pow acoth x5 x0 Mul Pow acoth x5 Add x0 -1 Mul acoth x5 log acoth x5 