How do you evaluate cos((3pi)/5)cos((4pi)/15)+sin((3pi)/5)sin((4pi)/15)?