Merge pull request #1423 from herbie-fp/preprocessing-flag

Add preprocessing flag

Author: pavpanchekha

src/config.rkt

@@ -8,7 +8,7 @@
 
 (define default-flags
   #hash([precision . ()]
-        [setup . (search)]
+        [setup . (search preprocess)]
         [localize . ()]
         [generate . (rr taylor proofs evaluate)]
         [reduce . (regimes binary-search branch-expressions)]

src/core/mainloop.rkt

@@ -1,6 +1,7 @@
 #lang racket
 
-(require "../utils/alternative.rkt"
+(require "../config.rkt"
+         "../utils/alternative.rkt"
          "../utils/common.rkt"
          "../utils/timeline.rkt"
          "../syntax/platform.rkt"
@@ -45,7 +46,10 @@
 
 (define (run-improve! initial specification context pcontext)
   (timeline-event! 'preprocess)
-  (define preprocessing (find-preprocessing specification context))
+  (define preprocessing
+    (if (flag-set? 'setup 'preprocess)
+        (find-preprocessing specification context)
+        '()))
   (timeline-push! 'symmetry (map ~a preprocessing))
   (define pcontext* (preprocess-pcontext context pcontext preprocessing))
   (*pcontext* pcontext*)

www/doc/2.3/options.html

@@ -206,6 +206,14 @@ <h2>Search options</h2>
     points</a>" error more often. Instead of turning this option off,
     try adjusting the <kbd>--num-analysis</kbd> flag.</dd>
 
+    <dt><code>setup:preprocess</code></dt>
+    <dd>This option, on by default, uses identities of the input
+    expression (like even or symmetric expressions) to perform
+    rewriting more effectively. If turned off, Herbie will skip
+    preprocessing and work directly with the original expression. This
+    can be faster but may produce less accurate results for
+    expressions with exploitable symmetries.</dd>
+
     <dt><code>generate:rr</code></dt>
     <dd>This option, on by default, uses algebraic rewriting to
     generate candidate programs. This is Herbie's primary method of