How do you find the exact values of tan 67.5 degrees using the half angle formula?