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