
(FPCore (d1) :precision binary64 (* (* (* d1 d1) d1) d1))
double code(double d1) {
return ((d1 * d1) * d1) * d1;
}
real(8) function code(d1)
real(8), intent (in) :: d1
code = ((d1 * d1) * d1) * d1
end function
public static double code(double d1) {
return ((d1 * d1) * d1) * d1;
}
def code(d1): return ((d1 * d1) * d1) * d1
function code(d1) return Float64(Float64(Float64(d1 * d1) * d1) * d1) end
function tmp = code(d1) tmp = ((d1 * d1) * d1) * d1; end
code[d1_] := N[(N[(N[(d1 * d1), $MachinePrecision] * d1), $MachinePrecision] * d1), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(d1 \cdot d1\right) \cdot d1\right) \cdot d1
\end{array}
herbie shell --seed 2024277
(FPCore (d1)
:name "FastMath repmul"
:precision binary64
:alt
(! :herbie-platform default (pow d1 4))
(* (* (* d1 d1) d1) d1))
Please file a bug report with this information.
| ival-hi: contract violation expected: ival? given: 0 | L | C | |
|---|---|---|---|
| ival-hi | unknown | ||
| ival-sub | /home/nightlies/.local/share/racket/8.10/pkgs/rival/ops/core.rkt | 228 | 0 |
| rival-machine-run | /home/nightlies/.local/share/racket/8.10/pkgs/rival/eval/run.rkt | 32 | 0 |
| rival-machine-full | /home/nightlies/.local/share/racket/8.10/pkgs/rival/eval/main.rkt | 27 | 0 |
| rival-apply | /home/nightlies/.local/share/racket/8.10/pkgs/rival/eval/main.rkt | 65 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt | 486 | 18 |
| f115 | .../match/compiler.rkt | 559 | 40 |
| compute-true-error | /home/nightlies/herbie/zane-concrete-values/src/core/localize.rkt | 131 | 0 |
| compute-local-errors | /home/nightlies/herbie/zane-concrete-values/src/core/localize.rkt | 216 | 0 |
| actual-errors | /home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt | 35 | 0 |
| generate-timelines | /home/nightlies/herbie/zane-concrete-values/src/core/explain.rkt | 498 | 0 |
| explain! | /home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt | 323 | 0 |
| run-improve! | /home/nightlies/herbie/zane-concrete-values/src/core/mainloop.rkt | 45 | 0 |
| get-alternatives/report | /home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt | 186 | 0 |
| (unnamed) | /home/nightlies/herbie/zane-concrete-values/src/api/sandbox.rkt | 282 | 6 |
| (unnamed) | /usr/share/racket/pkgs/profile-lib/main.rkt | 40 | 10 |
| profile-thunk | /usr/share/racket/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/engine.rkt | 42 | 24 |