asec Mul sqrt x3 Pow Add x0 Mul x2 3 x7 
Mul Mul sqrt x3 Mul Pow Add x0 Mul x2 3 Add x7 -1 x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul sqrt x3 Pow Add x0 Mul x2 3 x7 Mul sqrt x3 Pow Add x0 Mul x2 3 x7 -1 Mul sqrt x3 Pow Add x0 Mul x2 3 x7 Mul sqrt x3 Pow Add x0 Mul x2 3 x7 -1 