Mul x0 Mul x6 asech Add Add x0 Add x0 2 3 
Add Mul x6 asech Add Add x0 Add x0 2 3 Mul x0 Mul x6 Mul 2 Pow Mul Mul Add Add x0 Add x0 2 3 Add Add x0 Add x0 2 3 sqrt Add 1 Mul -1 Pow Mul Add Add x0 Add x0 2 3 Add Add x0 Add x0 2 3 -1 -1 