Issues
- 0
Failing unit test for `pow-base-1_binary64`
#853 opened by zaneenders - 2
Vastly different reported accuracies for same formula in suggested alternative vs used as input
#842 opened by dominikh - 4
- 1
Wrong results for sigmoid function
#846 opened by dendibakh - 1
Herbie seems unable to improve on Rump's Example.
#737 opened by inkydragon - 2
Better Cost Estimates & Free Optimizations
#527 opened by rnvannatta - 3
Doesn't works for sin(x)
#698 opened by preetishkakkar - 1
Herbie doesn't know that `cos(x) <= 1`
#840 opened by oscardssmith - 1
Version information
#630 opened by lovasko - 4
- 0
`cos(3pi/2 - x)` from Kenny
#803 opened by pavpanchekha - 2
- 1
Herbie Report produces empty index.html
#730 opened by samayala22 - 1
v2.0 not downloadig properly via raco
#669 opened by silversquirl - 3
- 2
Multithreading for multiple problems
#670 opened by silversquirl - 0
Please commit your Cargo.lock file
#662 opened by pwaller - 1
Demo page is down
#656 opened by HansBrende - 1
- 6
Disappearing variables
#391 opened by aquohn - 5
404 links
#586 opened by inkydragon - 1
Missing mailing list
#585 opened by inkydragon - 5
Clarificaitons for command-line options
#541 opened by lovasko - 7
Build issue: expected `i8`, found `u8`
#567 opened by lovasko - 6
Incorrect optimization for x-sin(x)
#500 opened by oscardssmith - 24
- 13
Poor results for sqrt(x * x + y * y)
#366 opened by Remotion - 2
- 8
Herbie shell broken in Docker image
#402 opened by ruricolist - 1
Which expressions are the set of equivalent expressions generated by Herbie for the input expression?
#507 opened by TimoTokki - 8
How Herbie generates the equivalent expressions?
#503 opened by TimoTokki - 2
question to confirm
#502 opened by zuoyanzhang - 9
Question about 8000 sampling points
#501 opened by zuoyanzhang - 3
add-sqr-sqrt, really?
#437 opened by etiennebirling - 5
- 2
How to get the bits error in the result
#499 opened by zuoyanzhang - 4
A question about herbie web version
#484 opened by zuoyanzhang - 1
Variable names matter?
#435 opened by amrods - 1
Online demo currently giving a 502 error
#476 opened by oscardssmith - 2
unknown preprocess #s(symmetry-group (a b c))
#428 opened by etiennebirling - 2
Not a valid expression! given: 'E.f64
#427 opened by etiennebirling - 3
- 10
Herbie shell/improve broken on clean install
#403 opened by ruricolist - 6
Fail to optimize with single-precision
#396 opened by ror3d - 5
C-like input for herbie shell improve mode
#371 opened by karlosss - 3
Herbie cannot be installed
#388 opened by ruricolist - 2
Using Herbie as a library
#361 opened by karlosss - 2
unbound identifier while installing from source
#359 opened by karlosss - 1
Missing function cbrt() in infix formula input
#352 opened by qsantos - 0
CI "complex plugin" tests seem to be broken
#344 opened by pavpanchekha