Mul asech sqrt Mul x0 Add Add x5 x5 x5 x0 
Add Mul x0 Mul Mul Pow Mul 2 sqrt Mul x0 Add Add x5 x5 x5 -1 Add Add x5 x5 x5 Pow Mul Mul sqrt Mul x0 Add Add x5 x5 x5 sqrt Mul x0 Add Add x5 x5 x5 sqrt Add 1 Mul -1 Pow Mul sqrt Mul x0 Add Add x5 x5 x5 sqrt Mul x0 Add Add x5 x5 x5 -1 -1 asech sqrt Mul x0 Add Add x5 x5 x5 