How do you evaluate #Cos(pi/7)*cos((4*pi)/7)*cos((5*pi)/7)#?