How do you evaluate cos(π12) using the half angle formula?