disable 1-split

Author: JonasRegehr

.gitignore

@@ -29,3 +29,4 @@ herbie-compiled/
 
 .vscode/
 .worktrees
+PROJ_source/

growlibm/BenchmarkInstructions.md

@@ -23,6 +23,7 @@ When you receive a new source file:
    racket -y src/main.rkt report --platform no-accelerators <FPCORE FILE> out
    ```
 
-   Fix any syntax errors Herbie reports (missing parentheses, unsupported identifiers, missing preconditions). Rerun until the file parses cleanly. Warnings about improvement quality are fine; only syntax errors must be resolved.
+   Fix any syntax errors Herbie reports (missing parentheses, unsupported identifiers, missing preconditions). Rerun until the file parses cleanly. Warnings about improvement quality are fine; only syntax errors must be resolved. Make sure that the number of FPCores you
+   add to the file is the same number that appears in the report when you run this command.
 
 Aim for a set of 15–20 expressions that represent the numerical behaviors from the source file. Ideally, this collection will include  hard expressions that Herbie has trouble improving. 

src/core/rules.rkt

@@ -80,7 +80,7 @@
   [remove-double-neg (neg (neg a)) a]
   [*-lft-identity (* 1 a) a]
   [*-rgt-identity (* a 1) a]
-  [1-split 1 (* 2 1/2)]
+  ;[1-split 1 (* 2 1/2)]
   [/-rgt-identity (/ a 1) a]
   [mul-1-neg (* -1 a) (neg a)])