#RHS=(1+sinx)/(1-sinx)-(1-sinx)/(1+sinx)#
#=(2-(1-sinx))/(1-sinx)-(2-(1+sinx))/(1+sinx)#
#=(2/(1-sinx)-(1-sinx)/(1-sinx))-(2/(1+sinx)-(1+sinx)/(1+sinx))#
#=(2/(1-sinx)-cancel1-2/(1+sinx)+cancel1)#
#=2(1/(1-sinx)-1/(1+sinx))#
#=2((1+sinx-1+sinx)/((1-sinx)(1+sinx)))#
#=(4sinx)/(1-sin^2x)#
#=(4sinx)/cos^2x#
#=(4sinx)/cosx xx1/cosx#
#=4tanxsecx=LHS#
Proved