maximize 12cosx+6sqrt3*x-2sqrt3*Pi+6 over [0,Pi/2]