derivative of 4*2^x