finishing up symbolic differentiation