Add x0 Mul Pow Mul Mul x1 tan x0 -5 Add x1 2 asech Add x0 x7 
Add 1 Add Mul asech Add x0 x7 Mul Pow Mul Mul x1 tan x0 -5 Add Add x1 2 -1 Mul Add x1 2 Mul -5 Mul x1 Pow sec x0 2 Mul Pow Mul Mul x1 tan x0 -5 Add x1 2 Pow Mul Mul Add x0 x7 Add x0 x7 sqrt Add 1 Mul -1 Pow Mul Add x0 x7 Add x0 x7 -1 -1 