Pow cos x0 Pow sec x0 Pow x0 x3 
Mul Pow cos x0 Add Pow sec x0 Pow x0 x3 -1 Add Mul Pow sec x0 Pow x0 x3 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Pow sec x0 Add Pow x0 x3 -1 Add Mul Pow x0 x3 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Pow x0 Add x3 -1 x3 