WolframAlpha computational knowledge AI
solve Cot[2x] = Sec[x]