what is a derivative of 4x ?