asech Add x7 asec Pow x0 4 
Mul Mul Mul Pow x0 3 4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 4 Pow x0 4 -1 Pow x0 4 Pow x0 4 -1 Pow Mul Mul Add x7 asec Pow x0 4 Add x7 asec Pow x0 4 sqrt Add 1 Mul -1 Pow Mul Add x7 asec Pow x0 4 Add x7 asec Pow x0 4 -1 -1 