What is the derivative of pi^4π4?