Mul x0 Mul Mul tan acot Mul Pow 3 Add Add x0 x0 E 3 x0 Mul Mul x0 x0 Mul Mul x0 asech x0 3 
Add Mul Mul tan acot Mul Pow 3 Add Add x0 x0 E 3 x0 Mul Mul x0 x0 Mul Mul x0 asech x0 3 Mul x0 Add Mul Mul Mul x0 x0 Mul Mul x0 asech x0 3 Add Mul x0 Mul Pow sec acot Mul Pow 3 Add Add x0 x0 E 3 2 Mul -1 Mul Mul 3 Mul Pow 3 Add Add Add x0 x0 E -1 6.09861228866811 Pow Add 1 Mul Mul Pow 3 Add Add x0 x0 E 3 Mul Pow 3 Add Add x0 x0 E 3 -1 tan acot Mul Pow 3 Add Add x0 x0 E 3 Mul Mul tan acot Mul Pow 3 Add Add x0 x0 E 3 x0 Add Mul Mul Mul x0 asech x0 3 Add x0 x0 Mul Mul x0 x0 Mul 3 Add asech x0 Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 