1000+40x = 4*2^x