exp Mul x0 sec Pow tan x1 Mul x0 E 
Mul exp Mul x0 sec Pow tan x1 Mul x0 E Add sec Pow tan x1 Mul x0 E Mul x0 Mul Mul tan Pow tan x1 Mul x0 E sec Pow tan x1 Mul x0 E Mul Pow tan x1 Add Mul x0 E -1 Mul Mul tan x1 log tan x1 E 