What is the derivative of 32x?