Write cos{(pi-:4)-a} in terms of trigonometric ratios of just a?