maximize 230 * (sin(x) + sin(x - pi/6)) from 0 to pi