Pow sec Pow x0 4 Add sec x0 x0 
Mul Pow sec Pow x0 4 Add Add sec x0 x0 -1 Add Mul Add sec x0 x0 Mul Mul tan Pow x0 4 sec Pow x0 4 Mul Pow x0 3 4 Mul Mul sec Pow x0 4 log sec Pow x0 4 Add Mul tan x0 sec x0 1 