derivative of (1/2) (2 ((tan x)^2 + 1) (tan x) - (4/3) (tan x)^3)