Student question: Differentiating log functions