How do you verify the identity #tan^4x+tan^2x-3=sec^2x(4tan^2x-3)#?