#2948 added first implementation of symbolic differentiation as well as a test case (to be checked manually)