WolframAlpha computational knowledge AI
atan(k)-k(k^2-k+1)/(k^2+1)=(pi-2)/8