derivative of 9