Add x0 acot Pow exp Pow tan x0 asec atan x3 Add x0 5 
Add 1 Mul -1 Mul Mul Pow exp Pow tan x0 asec atan x3 Add Add x0 5 -1 Add Mul Add x0 5 Mul exp Pow tan x0 asec atan x3 Mul Pow tan x0 Add asec atan x3 -1 Mul asec atan x3 Pow sec x0 2 Mul exp Pow tan x0 asec atan x3 log exp Pow tan x0 asec atan x3 Pow Add 1 Mul Pow exp Pow tan x0 asec atan x3 Add x0 5 Pow exp Pow tan x0 asec atan x3 Add x0 5 -1 