Pow tan x0 Mul Add sec Mul x0 2 -2 x0 
Mul Pow tan x0 Add Mul Add sec Mul x0 2 -2 x0 -1 Add Mul Mul Add sec Mul x0 2 -2 x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 Add Mul x0 Mul Mul tan Mul x0 2 sec Mul x0 2 2 Add sec Mul x0 2 -2 