minimize 3-5Pi/4+5x-5sqrt2sinx over [0,Pi/2]