How do you differentiate 25-pi/3?