WolframAlpha computational knowledge AI
cot(t/2)^2 = (1 + cos(t)) / (1 - cos(t))