Propagation technique: Editing

[emgrasmeder]

Editing works by recursively replacing pure functions with the values they evaluate to. This can be done during the evolution process to reduce computational complexity, or after a best candidate is found (for aesthetic purposes).

Examples:

(and x x) ;; => x
(or x x) ;; => x
(not (not x)) ;; => x
(+ 1 1) ;; => 2