Mul Mul asech Mul pi x0 Add Pow Add asech x0 4 Mul Mul 1.73205080756888 x0 x7 x0 Pow x6 4 
Mul Pow x6 4 Add Mul Add Pow Add asech x0 4 Mul Mul 1.73205080756888 x0 x7 x0 Mul pi Pow Mul Mul Mul pi x0 Mul pi x0 sqrt Add 1 Mul -1 Pow Mul Mul pi x0 Mul pi x0 -1 -1 Mul asech Mul pi x0 Add Mul Pow Add asech x0 4 Add Mul Mul 1.73205080756888 x0 x7 -1 Add Mul Mul Mul 1.73205080756888 x0 x7 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Add asech x0 4 log Add asech x0 4 Mul x7 1.73205080756888 1 