asech Mul Mul x3 x3 Add x0 Mul x1 Mul x0 Pow Add asech Pow x0 32 x5 x6 
Mul Mul Mul x3 x3 Add 1 Mul x1 Add Pow Add asech Pow x0 32 x5 x6 Mul x0 Mul Pow Add asech Pow x0 32 x5 Add x6 -1 Mul x6 Mul Mul Pow x0 31 32 Pow Mul Mul Pow x0 32 Pow x0 32 sqrt Add 1 Mul -1 Pow Mul Pow x0 32 Pow x0 32 -1 -1 Pow Mul Mul Mul Mul x3 x3 Add x0 Mul x1 Mul x0 Pow Add asech Pow x0 32 x5 x6 Mul Mul x3 x3 Add x0 Mul x1 Mul x0 Pow Add asech Pow x0 32 x5 x6 sqrt Add 1 Mul -1 Pow Mul Mul Mul x3 x3 Add x0 Mul x1 Mul x0 Pow Add asech Pow x0 32 x5 x6 Mul Mul x3 x3 Add x0 Mul x1 Mul x0 Pow Add asech Pow x0 32 x5 x6 -1 -1 