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