\frac{(Sinx+Cosx)^2-2Sin^2x}{1+Cot^2x} = \frac{\sqrt{2}}{2}(Sin(\frac{\pi}{4}-x) - Sin(\frac{\pi}{4}-3x)