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