Add Add Add x0 x0 Mul Add pi x1 atan Add asech Add Pow 2 x0 Mul 3 Add x5 x0 sqrt x0 0.275720564771783 
Add 2 Mul Add pi x1 Mul Add Mul Add Mul Pow 2 Add x0 -1 2.69314718055995 3 Pow Mul Mul Add Pow 2 x0 Mul 3 Add x5 x0 Add Pow 2 x0 Mul 3 Add x5 x0 sqrt Add 1 Mul -1 Pow Mul Add Pow 2 x0 Mul 3 Add x5 x0 Add Pow 2 x0 Mul 3 Add x5 x0 -1 -1 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Add asech Add Pow 2 x0 Mul 3 Add x5 x0 sqrt x0 Add asech Add Pow 2 x0 Mul 3 Add x5 x0 sqrt x0 -1 