Mul x0 asech Mul x1 asec Pow x5 Add x7 x0 
Add asech Mul x1 asec Pow x5 Add x7 x0 Mul x0 Mul Mul x1 Mul Mul Pow x5 Add Add x7 x0 -1 Mul x5 log x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x5 Add x7 x0 Pow x5 Add x7 x0 -1 Pow x5 Add x7 x0 Pow x5 Add x7 x0 -1 Pow Mul Mul Mul x1 asec Pow x5 Add x7 x0 Mul x1 asec Pow x5 Add x7 x0 sqrt Add 1 Mul -1 Pow Mul Mul x1 asec Pow x5 Add x7 x0 Mul x1 asec Pow x5 Add x7 x0 -1 -1 