Pow x1 Pow Pow sec x0 Add x0 x0 Add x5 sqrt tan x0 
Mul Pow x1 Add Pow Pow sec x0 Add x0 x0 Add x5 sqrt tan x0 -1 Mul Mul x1 log x1 Mul Pow Pow sec x0 Add x0 x0 Add Add x5 sqrt tan x0 -1 Add Mul Add x5 sqrt tan x0 Mul Pow sec x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 2 Mul Mul Pow sec x0 Add x0 x0 log Pow sec x0 Add x0 x0 Mul Pow Mul 2 sqrt tan x0 -1 Pow sec x0 2 