How do you verify sec4xsec2x=tan4x+tan2x?