Mul Pow sec Pow Mul 2 x0 3 Mul tan x1 x0 asech E 
Mul asech E Mul Pow sec Pow Mul 2 x0 3 Add Mul tan x1 x0 -1 Add Mul Mul tan x1 x0 Mul Mul tan Pow Mul 2 x0 3 sec Pow Mul 2 x0 3 Mul Pow Mul 2 x0 2 5 Mul Mul sec Pow Mul 2 x0 3 log sec Pow Mul 2 x0 3 tan x1 