How do you evaluate #cos(pi/3)cos((5pi)/12)-sin(pi/3)sin((5pi)12)#?