WolframAlpha computational knowledge AI
minimize -2Cos[x] on -1<x<1