WolframAlpha computational knowledge AI
minimize 2pi-8a+2tan(a)+2(sina)^2*(2+sec(a))