How do you find the exact value of #cos15#using the half-angle identity?