What is the derivative of x/2?