How do I prove (sec x/cos x)+(csc x/sin x)=4 csc^2(2x)?