How do you find the exact values of sin^2(pi/8) using the half angle formula?