Mul asech Add x0 1 Mul Mul -1 Add Mul x4 Mul Mul 0.339836909454122 x0 Add 2 x0 x0 x0 
Add Mul Mul Mul -1 Add Mul x4 Mul Mul 0.339836909454122 x0 Add 2 x0 x0 x0 Pow Mul Mul Add x0 1 Add x0 1 sqrt Add 1 Mul -1 Pow Mul Add x0 1 Add x0 1 -1 -1 Mul asech Add x0 1 Add Mul x0 Mul -1 Add Mul x4 Add Mul Add 2 x0 0.339836909454122 Mul 0.339836909454122 x0 1 Mul -1 Add Mul x4 Mul Mul 0.339836909454122 x0 Add 2 x0 x0 