DMelt example: Using SymJa for symbolic calculations