Mul x0 Mul Pow -2 x3 Pow 2.31243834127275 Add -3 cbrt acoth x0 
Add Mul Pow -2 x3 Pow 2.31243834127275 Add -3 cbrt acoth x0 Mul x0 Mul Pow -2 x3 Mul Pow 2.31243834127275 Add Add -3 cbrt acoth x0 -1 Mul 3.15074086808832 Mul Pow Mul Mul 3 cbrt acoth x0 cbrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 