Mul exp Mul x0 asech Mul Pow Mul x0 -4 2 Add x7 x4 x0 
Add Mul x0 Mul exp Mul x0 asech Mul Pow Mul x0 -4 2 Add x7 x4 Add asech Mul Pow Mul x0 -4 2 Add x7 x4 Mul x0 Mul Mul Add x7 x4 Mul Mul x0 -4 2 Pow Mul Mul Mul Pow Mul x0 -4 2 Add x7 x4 Mul Pow Mul x0 -4 2 Add x7 x4 sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul x0 -4 2 Add x7 x4 Mul Pow Mul x0 -4 2 Add x7 x4 -1 -1 exp Mul x0 asech Mul Pow Mul x0 -4 2 Add x7 x4 