How do you evaluate #cos(pi/12)# using the half angle formula?