cos(pi/3)+cos(pi/12)