Mul x0 asec Mul Mul Mul x0 Pow Mul x0 2 x1 x3 x7 
Add asec Mul Mul Mul x0 Pow Mul x0 2 x1 x3 x7 Mul x0 Mul Mul x7 Mul x3 Add Pow Mul x0 2 x1 Mul x0 Mul Pow Mul x0 2 Add x1 -1 Mul x1 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul Mul x0 Pow Mul x0 2 x1 x3 x7 Mul Mul Mul x0 Pow Mul x0 2 x1 x3 x7 -1 Mul Mul Mul x0 Pow Mul x0 2 x1 x3 x7 Mul Mul Mul x0 Pow Mul x0 2 x1 x3 x7 -1 