How do you find the value of #cos(4pi/3)# using the double angle identity?