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