Derivative of x pi pi