exp Mul tan x0 Mul Pow x0 Add Mul x0 -1 x0 Pow x0 x3 
Mul exp Mul tan x0 Mul Pow x0 Add Mul x0 -1 x0 Pow x0 x3 Add Mul Mul Pow x0 Add Mul x0 -1 x0 Pow x0 x3 Pow sec x0 2 Mul tan x0 Add Mul Pow x0 x3 Mul Pow x0 Add Add Mul x0 -1 x0 -1 Add Mul x0 -1 x0 Mul Pow x0 Add Mul x0 -1 x0 Mul Pow x0 Add x3 -1 x3 