Evaluate cos(pi/4+pi/3)