How do you differentiate #25-pi/3#?