Merge pull request #1349 from herbie-fp/update-herbie-doc-outputs

Update all Herbie doc outputs to match current Herbie

Author: pavpanchekha

www/doc/2.2/using-cli.html

@@ -61,14 +61,14 @@ <h2 id="batch">Batch processing FPCores</h2>
   mode is intended for use by scripts.</p>
 
   <pre class="shell">racket -l herbie improve bench/tutorial.fpcore out.fpcore
-Starting Herbie 2.2 with seed 1551571787...
-Warning: 24.7% of points produce a very large (infinite) output. You may want to add a precondition.
-See <a href="https://herbie.uwplse.org/doc/2.0/faq.html#inf-points">&lt;https://herbie.uwplse.org/doc/2.0/faq.html#inf-points&gt;</a> for more.</pre>
+Starting Herbie 2.2 with seed 1139794558...
+Warning: 75.2% of points produce a very large (infinite) output. You may want to add a precondition.
+See &lt;<a href="https://herbie.uwplse.org/doc/2.0/faq.html#inf-points">https://herbie.uwplse.org/doc/2.0/faq.html#inf-points</a>&gt; for more.</pre>
 
   <p>The output file <code>out.fpcore</code> contains more accurate
   versions of each program:</p>
 
-  <pre>;; seed: 1551571787
+  <pre>;; seed: 1139794558
 
 (FPCore (x)
   :name "Cancel like terms"
@@ -78,7 +78,7 @@ <h2 id="batch">Batch processing FPCores</h2>
 (FPCore (x)
   :name "Expanding a square"
   <var>...</var>
-  (* x (- x -2.0)))
+  (fma x x (+ x x)))
 
 (FPCore (x y z)
   :name "Commute and associate"

www/doc/2.2/using-web.html

@@ -70,11 +70,10 @@ <h2 id="batch">Batch report generation</h2>
   <pre class="shell">racket -l herbie report bench/tutorial.fpcore output/ 
 Starting Herbie 2.2 with seed 770126425...
 Warning: 25.0% of points produce a very large (infinite) output. You may want to add a precondition.
-See <a href="faq.html#inf-points">https://herbie.uwplse.org/doc/latest/faq.html#inf-points</a> for 
-more.
-  1/3   [   0.703s]   29→ 0     Expanding a square
-  2/3   [   1.611s]    0→ 0     Commute and associate
-  3/3   [   0.353s]   30→ 0     Cancel like terms</pre>
+See &lt;<a href="faq.html#inf-points">https://herbie.uwplse.org/doc/latest/faq.html#inf-points</a>&gt; for more.
+  1/3	[   0.8s]   55% → 100%	Expanding a square
+  2/3	[   0.8s]  100% → 100%	Commute and associate
+  3/3	[   0.9s]   53% → 100%	Cancel like terms</pre>
 
   <p>This command generates a report from the input expressions
   in <code>bench/tutorial.fpcore</code> and saves the report in the