How do you use the half angle identity to find exact value of cos22.5 degrees?