Mul Mul x0 x0 Add Pow x5 acoth cbrt x0 x4 
Add Mul Add Pow x5 acoth cbrt x0 x4 Add x0 x0 Mul Mul x0 x0 Mul Pow x5 Add acoth cbrt x0 -1 Mul Mul x5 log x5 Mul Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Pow Add 1 Mul -1 Mul cbrt x0 cbrt x0 -1 