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