asech Mul x7 sqrt Pow x0 3 
Mul Mul x7 Mul Pow Mul 2 sqrt Pow x0 3 -1 Mul Pow x0 2 3 Pow Mul Mul Mul x7 sqrt Pow x0 3 Mul x7 sqrt Pow x0 3 sqrt Add 1 Mul -1 Pow Mul Mul x7 sqrt Pow x0 3 Mul x7 sqrt Pow x0 3 -1 -1 