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