=cos2acos(a+π/4)/sin(a+π/4)
=cos2a(cosa-sina)/(cosa+sina)
=(cosa^2-sina^2)(cosa-sina)/(cosa+sina)
=(cosa-sina)^2
=1-sin2a