Mul Add Add x0 Add Add x4 Mul -3 Add x0 Pow x0 2 x0 cbrt x0 acoth Pow x0 x4 
Add Mul acoth Pow x0 x4 Add Add 1 Add Mul -3 Add 1 Mul x0 2 1 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Mul Add Add x0 Add Add x4 Mul -3 Add x0 Pow x0 2 x0 cbrt x0 Mul Mul Pow x0 Add x4 -1 x4 Pow Add 1 Mul -1 Mul Pow x0 x4 Pow x0 x4 -1 