symbolic differentiation example