Pow Pow x3 Pow x0 x1 sec x0 
Mul Pow Pow x3 Pow x0 x1 Add sec x0 -1 Add Mul sec x0 Mul Pow x3 Add Pow x0 x1 -1 Mul Mul x3 log x3 Mul Pow x0 Add x1 -1 x1 Mul Mul Pow x3 Pow x0 x1 log Pow x3 Pow x0 x1 Mul tan x0 sec x0 