derivative 3/(2 pi)arccos(cos(2*pi*x/3))