What is the derivative of x/3?