minimize 13x-9sinx+9 over [0,Pi/2]