What is the derivative of pi^3?