First exercise in symbolic differentiation