WolframAlpha computational knowledge AI
global min of 2sin(2x)^2-(5/2)cos(x/2)^2 for 1<=x<=3