=cos2a-1/[2(cosa-sia)]+(cosa)^2/[cosa-sina]
=cos2a+[2(cosa)^2-1]/[2(cosa-sina)]
=cos2a+cos2a/[2(cosa-sina)]
=cos2a[1+1/(2(cosa-sina))]
=cos2a[2(cosa-sina)+1]/[2(cosa-sina)]
=(cosa-sina)(cosa+sina)[2(cosa-sina)+1]/[2(cosa-sina)]
=(cosa+sina)[2(cosa-sina)+1]/2
=[(2((cosa)^2-(sina)^2)+cosa+sina]/2
=(2cos2a+cosa+sina)/2
=cos2a+(cosa+sina)/2