#symbolic differentiation