derivative of (pi