DMelt example: Symbolic calculations using F1D (simplification)