WolframAlpha computational knowledge AI
lim (x->pi/4) (cotg x - 1)/(1 - 2 cos^2 x)