verify cot x sec^4x = cot x + 2 tan x + tan^3x