How do you find the value of #cos30# using the half angle identity?