tan Pow Mul Pow Mul 2 x0 sqrt x0 Mul Add x6 asec x3 x0 tan x0 
Mul Pow sec Pow Mul Pow Mul 2 x0 sqrt x0 Mul Add x6 asec x3 x0 tan x0 2 Mul Pow Mul Pow Mul 2 x0 sqrt x0 Mul Add x6 asec x3 x0 Add tan x0 -1 Add Mul tan x0 Add Mul Mul Add x6 asec x3 x0 Mul Pow Mul 2 x0 Add sqrt x0 -1 Add Mul sqrt x0 2 Mul Mul Mul 2 x0 log Mul 2 x0 Pow Mul 2 sqrt x0 -1 Mul Pow Mul 2 x0 sqrt x0 Add x6 asec x3 Mul Mul Mul Pow Mul 2 x0 sqrt x0 Mul Add x6 asec x3 x0 log Mul Pow Mul 2 x0 sqrt x0 Mul Add x6 asec x3 x0 Pow sec x0 2 