What is the derivative of x23?