Convert #5cos((5pi)/3)cos((5pi)/3)# as a sum of trigonometric ratios?