#LHS=cosx/(1-tanx)+(sinxcosx)/(sinx-cosx)#
#=cos^2x/(cosx(1-sinx/cosx))+ (sinxcosx)/(sinx-cosx)#
#=cos^2x/(cosx-cosx xxsinx/cosx)- (sinxcosx)/(cosx-sinx)#
#=cos^2x/(cosx-sinx)- (sinxcosx)/(cosx-sinx)#
#=(cos^2x- sinxcosx)/(cosx-sinx)#
#=(cosxcancel((cosx- sinx)))/cancel((cosx-sinx))#
#=cosx=RHS#
Proved