asech Mul -4 sqrt Pow Mul x0 x6 7 
Mul Mul -4 Mul Pow Mul 2 sqrt Pow Mul x0 x6 7 -1 Mul Pow Mul x0 x6 6 Mul 7 x6 Pow Mul Mul Mul -4 sqrt Pow Mul x0 x6 7 Mul -4 sqrt Pow Mul x0 x6 7 sqrt Add 1 Mul -1 Pow Mul Mul -4 sqrt Pow Mul x0 x6 7 Mul -4 sqrt Pow Mul x0 x6 7 -1 -1 