What is the derivative of sqrtx^3?