WolframAlpha computational knowledge AI
integral of 1 / (1 + sin x cos x) for x=arctan(-1/2)..pi/4