cos(x)^2 + cos(x+2*pi/3)^2 + cos(x+4*pi/3)^2