derivative of 4