minimize 3+5Pi/4-5x-5sqrt2*cosx over [0,Pi/2]