|
4 | 4 | <meta charset="utf-8" /> |
5 | 5 | <title>Herbie 1.2 Release Notes</title> |
6 | 6 | <link rel='stylesheet' type='text/css' href="../../main.css"> |
7 | | - <script src="https://d3js.org/d3.v3.min.js" charset="utf-8"></script> |
8 | 7 | <script type="text/javascript" src="compare.js"></script> |
| 8 | + <script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> |
9 | 9 | </head> |
10 | 10 | <body> |
11 | 11 | <header> |
@@ -88,19 +88,27 @@ <h2>Beta-quality features</h2> |
88 | 88 | <a href="options.html">option</a> controls this feature.</li> |
89 | 89 | </ul> |
90 | 90 |
|
91 | | - <!-- TODO Update plot somehow? --> |
92 | 91 | <figure class="showcase" style="background: white; border: 1px solid gray;"> |
93 | | - <style scoped> |
94 | | - line { pointer-events: all; } |
95 | | - .old, .new { stroke-width: 3px; stroke-opacity: 1.0; fill-opacity: 1.0; } |
96 | | - .old { stroke: lightgray; fill: lightgray; } |
97 | | - .new { stroke: darkgreen; fill: darkgreen; } |
98 | | - .gridline, .guide { stroke: lightgray; } |
99 | | - text { text-anchor: middle; } |
100 | | - </style> |
101 | | - <svg id="results" width="525" height="320"></svg> |
102 | | - <script>draw_results(d3.select("#results"))</script> |
103 | | - <figcaption>Improvement on the Hamming benchmarks from Herbie 1.0 to Herbie 1.1. The improved series expansions, expanded trigonometric and hyperbolic knowledge, and miscellaneous bug fixes have made Herbie smarter.</figcaption> |
| 92 | + <style scoped>.arrow { text-align: center; font-size: 200%; }</style> |
| 93 | + <div class="program">\[c0 \cdot \sqrt{\frac{A}{V \cdot \ell}}\]</div> |
| 94 | + <div class="arrow">↓</div> |
| 95 | + <div class="program">\[\begin{array}{l} |
| 96 | +\mathbf{if}\;\frac{1}{V \cdot \ell} \le -3.767671897931721 \cdot 10^{+27}:\\ |
| 97 | +\;\;\;\;\frac{c0 \cdot \sqrt{1}}{\sqrt{\frac{V \cdot \ell}{A}}}\\ |
| 98 | + |
| 99 | +\mathbf{elif}\;\frac{1}{V \cdot \ell} \le -2.9824307461679933 \cdot 10^{-248}:\\ |
| 100 | +\;\;\;\;\left(c0 \cdot \sqrt{\sqrt{\frac{A}{V \cdot \ell}}}\right) \cdot \sqrt{\sqrt{\frac{A}{V \cdot \ell}}}\\ |
| 101 | + |
| 102 | +\mathbf{elif}\;\frac{1}{V \cdot \ell} \le 7.59312080698644 \cdot 10^{-301}:\\ |
| 103 | +\;\;\;\;c0 \cdot \sqrt{\frac{\frac{A}{V}}{\ell}}\\ |
| 104 | + |
| 105 | +\mathbf{else}:\\ |
| 106 | +\;\;\;\;c0 \cdot \frac{\sqrt{A}}{\sqrt{V \cdot \ell}}\\ |
| 107 | + |
| 108 | +\end{array}\]</div> |
| 109 | + <figcaption>A program produced by the new, more create branch |
| 110 | + inference system in Herbie 1.2. Herbie 1.2 is more creative and |
| 111 | + produces more accurate output than prior versions.</figcaption> |
104 | 112 | </figure> |
105 | 113 |
|
106 | 114 | <h2>Usability improvements</h2> |
|
0 commit comments