Mul Pow Mul x6 x0 4 Mul x0 asech exp Add x0 x5 
Add Mul Mul x0 asech exp Add x0 x5 Mul Pow Mul x6 x0 3 Mul 4 x6 Mul Pow Mul x6 x0 4 Add asech exp Add x0 x5 Mul x0 Mul exp Add x0 x5 Pow Mul Mul exp Add x0 x5 exp Add x0 x5 sqrt Add 1 Mul -1 Pow Mul exp Add x0 x5 exp Add x0 x5 -1 -1 