minimize 2-cos(2 pi x) - cos(2 pi 7919*3083/x) from x=3000 to 3200