minimize (2x-1)^2*(x+4)-3, x*y-1\leq 0