Mul asec x0 Pow Pow x7 Add x5 Mul Pow 4 x2 asech x0 -5 
Add Mul Pow Pow x7 Add x5 Mul Pow 4 x2 asech x0 -5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Mul Pow Pow x7 Add x5 Mul Pow 4 x2 asech x0 6 Mul -5 Mul Pow x7 Add Add x5 Mul Pow 4 x2 asech x0 -1 Mul Mul x7 log x7 Mul Pow 4 x2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 