Mul Pow tan x0 Mul x0 Mul E x0 exp Pow asec x3 Pow sqrt Mul Add x0 x0 x2 -1 
Add Mul exp Pow asec x3 Pow sqrt Mul Add x0 x0 x2 -1 Mul Pow tan x0 Add Mul x0 Mul E x0 -1 Add Mul Mul x0 Mul E x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 Add Mul E x0 Mul x0 E Mul Pow tan x0 Mul x0 Mul E x0 Mul exp Pow asec x3 Pow sqrt Mul Add x0 x0 x2 -1 Mul Pow asec x3 Add Pow sqrt Mul Add x0 x0 x2 -1 -1 Mul Mul asec x3 log asec x3 Mul Pow sqrt Mul Add x0 x0 x2 2 Mul -1 Mul Pow Mul 2 sqrt Mul Add x0 x0 x2 -1 Mul x2 2 