How do you find the exact functional value cos 15 using the cosine sum or difference identity?