How do you evaluate cos((-4pi)/3)cos(4π3)?