Mul x0 Mul asec x0 Mul x0 Add Add x0 x0 sec x3 
Add Mul asec x0 Mul x0 Add Add x0 x0 sec x3 Mul x0 Add Mul Mul x0 Add Add x0 x0 sec x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Add Add Add x0 x0 sec x3 Mul x0 2 