Mul x0 asec Pow Mul Pow Mul 1.73205080756888 x0 Mul x0 2 Mul Mul 5.09439510239320 x7 Pow x0 x0 asec x6 
Add asec Pow Mul Pow Mul 1.73205080756888 x0 Mul x0 2 Mul Mul 5.09439510239320 x7 Pow x0 x0 asec x6 Mul x0 Mul Mul Pow Mul Pow Mul 1.73205080756888 x0 Mul x0 2 Mul Mul 5.09439510239320 x7 Pow x0 x0 Add asec x6 -1 Mul asec x6 Add Mul Mul Mul 5.09439510239320 x7 Pow x0 x0 Mul Pow Mul 1.73205080756888 x0 Add Mul x0 2 -1 Add Mul Mul x0 2 1.73205080756888 Mul Mul Mul 1.73205080756888 x0 log Mul 1.73205080756888 x0 2 Mul Pow Mul 1.73205080756888 x0 Mul x0 2 Mul Mul 5.09439510239320 x7 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul Pow Mul 1.73205080756888 x0 Mul x0 2 Mul Mul 5.09439510239320 x7 Pow x0 x0 asec x6 Pow Mul Pow Mul 1.73205080756888 x0 Mul x0 2 Mul Mul 5.09439510239320 x7 Pow x0 x0 asec x6 -1 Pow Mul Pow Mul 1.73205080756888 x0 Mul x0 2 Mul Mul 5.09439510239320 x7 Pow x0 x0 asec x6 Pow Mul Pow Mul 1.73205080756888 x0 Mul x0 2 Mul Mul 5.09439510239320 x7 Pow x0 x0 asec x6 -1 