\left(\left(d1 \cdot d1\right) \cdot d1\right) \cdot d1
double f(double d1) {
double r7120987 = d1;
double r7120988 = r7120987 * r7120987;
double r7120989 = r7120988 * r7120987;
double r7120990 = r7120989 * r7120987;
return r7120990;
}
Please include this information when filing a bug report:
herbie shell --seed 0
(FPCore (d1)
:name "FastMath repmul"
(*.p16 (*.p16 (*.p16 d1 d1) d1) d1))
| hash-ref: no value found for key key: '(#<cpointer:posit16>) | L | C | |
|---|---|---|---|
| best-and-tied-at-points | /home/p92/nightlies/herbie/optional-posits/src/core/alt-table.rkt | 117 | 0 |
| atab-add-altn | /home/p92/nightlies/herbie/optional-posits/src/core/alt-table.rkt | 202 | 0 |
| for-loop | /home/p92/nightlies/herbie/optional-posits/src/core/alt-table.rkt | 56 | 2 |
| (unnamed) | /opt/racket-7.0/collects/racket/contract/private/arrow-val-first.rkt | 388 | 18 |
| finalize-iter! | /home/p92/nightlies/herbie/optional-posits/src/mainloop.rkt | 272 | 0 |
| run-iter! | /home/p92/nightlies/herbie/optional-posits/src/mainloop.rkt | 321 | 0 |
| for-loop | /home/p92/nightlies/herbie/optional-posits/src/mainloop.rkt | 355 | 4 |
| run-improve43 | /home/p92/nightlies/herbie/optional-posits/src/mainloop.rkt | 340 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |