#RHS= cosx - tanx/cscx#
#= cosx - (sinx/cosx)/(1/sinx)#
#= cosx - (sinx/cosx)xx(sinx/1)#
#= cosx - sin^2x/cosx#
#= (cos^2x - sin^2x)/cosx#
#= (cos^2x - 1+cos^2x)/cosx#
#= (2cos^2x - 1)/cosx#
#= (2cos^2x)/cos^2x - 1/cosx#
#= 2cosx - secx=LHS#
Verified