How do you find the exact values of sin 22.5 ° using the half angle formula?