what is the derivative of 2x?