WolframAlpha computational knowledge AI
sum (-1)^k cos((4-2k-1)pi/(16))/cos((2k+1)pi/(8)), k=0,1