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