maximize |cos(2^(-1/2)x)-(1+cos x)/2| subject to 0<=x<=pi/2