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