DMelt example: Symbolic differentiation using Jasymca