Add Pow asech Pow Mul x3 x0 2 -3 x0 
Add Mul Pow asech Pow Mul x3 x0 2 4 Mul -3 Mul Mul Mul x3 x0 Mul 2 x3 Pow Mul Mul Pow Mul x3 x0 2 Pow Mul x3 x0 2 sqrt Add 1 Mul -1 Pow Mul Pow Mul x3 x0 2 Pow Mul x3 x0 2 -1 -1 1 