How do you simplify cos (5pi/12)+cos(2pi/3-pi/4)?