Pow Mul Pow x0 tan x5 Mul x0 Pow x0 Mul x0 x7 asec Add sqrt x3 x3 
Mul Pow Mul Pow x0 tan x5 Mul x0 Pow x0 Mul x0 x7 Add asec Add sqrt x3 x3 -1 Mul asec Add sqrt x3 x3 Add Mul Mul x0 Pow x0 Mul x0 x7 Mul Pow x0 Add tan x5 -1 tan x5 Mul Pow x0 tan x5 Add Pow x0 Mul x0 x7 Mul x0 Mul Pow x0 Add Mul x0 x7 -1 Add Mul x0 x7 Mul Mul x0 log x0 x7 