Mul asech x0 Pow x0 Add x0 Mul Mul Mul 4 acot Pow 3 x0 -1 0.909297426825682 
Add Mul Pow x0 Add x0 Mul Mul Mul 4 acot Pow 3 x0 -1 0.909297426825682 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow x0 Add Add x0 Mul Mul Mul 4 acot Pow 3 x0 -1 0.909297426825682 -1 Add Add x0 Mul Mul Mul 4 acot Pow 3 x0 -1 0.909297426825682 Mul Mul x0 log x0 Add 1 Mul 0.909297426825682 Mul -1 Mul 4 Mul -1 Mul Mul Pow 3 Add x0 -1 4.09861228866811 Pow Add 1 Mul Pow 3 x0 Pow 3 x0 -1 