cvx_begin
	variable x(2);
	minimize(3*sin(0.5+0.25*x(1)*x(2))*cos(x(1)));
cvx_end
