How do you find the exact functional value cos 23pi/12 using the cosine sum or difference identity?