Comments (3)
Tuom, thank you for the suggestion!
We've been busy with the 1.0 release, so we haven't gotten back to you, but I'll try to put together a blog post on the quadratic formula.
In case you were wondering, Herbie tends to outperform the algorithm documented on Wikipedia by better handling some overflow cases. This example times out on the demo (because the demo has a rather strict timeout to prevent overuse) but works fine if you download a copy.
from herbie.
Just to ping on this one, I'd be interested, too. There's some description in https://homes.cs.washington.edu/~jrw12/herbie.pdf, and bench/hamming/quadratic.fpcore seems to address this area, but I'd love some hand-holding.
from herbie.
Thank you!
from herbie.
Related Issues (20)
- Optimized output sometimes contains (cbrt (pow x 3)) HOT 2
- Unexpected (?) results for difference of squares in web demo HOT 3
- Not a valid expression! given: 'E.f64 HOT 2
- unknown preprocess #s(symmetry-group (a b c)) HOT 2
- Variable names matter? HOT 1
- add-sqr-sqrt, really? HOT 3
- Online demo currently giving a 502 error HOT 1
- A question about herbie web version HOT 4
- How to get the bits error in the result HOT 2
- Incorrect optimization for x-sin(x) HOT 6
- Question about 8000 sampling points HOT 9
- question to confirm HOT 2
- How Herbie generates the equivalent expressions? HOT 8
- Which expressions are the set of equivalent expressions generated by Herbie for the input expression? HOT 1
- Better Cost Estimates & Free Optimizations HOT 1
- Any way to install a specific Herbie version using Racket ? HOT 24
- Clarificaitons for command-line options HOT 5
- Build issue: expected `i8`, found `u8` HOT 7
- Missing mailing list HOT 1
- 404 links HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from herbie.