
(FPCore (x y) :precision binary64 (+ x (/ (fabs (- y x)) 2.0)))
double code(double x, double y) {
return x + (fabs((y - x)) / 2.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x + (abs((y - x)) / 2.0d0)
end function
public static double code(double x, double y) {
return x + (Math.abs((y - x)) / 2.0);
}
def code(x, y): return x + (math.fabs((y - x)) / 2.0)
function code(x, y) return Float64(x + Float64(abs(Float64(y - x)) / 2.0)) end
function tmp = code(x, y) tmp = x + (abs((y - x)) / 2.0); end
code[x_, y_] := N[(x + N[(N[Abs[N[(y - x), $MachinePrecision]], $MachinePrecision] / 2.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{\left|y - x\right|}{2}
\end{array}
herbie shell --seed 2024238
(FPCore (x y)
:name "Graphics.Rendering.Chart.Plot.AreaSpots:renderSpotLegend from Chart-1.5.3"
:precision binary64
(+ x (/ (fabs (- y x)) 2.0)))
Please file a bug report with this information.
| error: contract violation expected: string? given: 'fabs.f64 | L | C | |
|---|---|---|---|
| f345 | .../match/compiler.rkt | 559 | 40 |
| loop | .../private/map.rkt | 40 | 19 |
| loop | .../private/map.rkt | 40 | 19 |
| loop | .../private/map.rkt | 40 | 19 |
| loop | .../private/map.rkt | 40 | 19 |
| loop | .../private/map.rkt | 40 | 19 |
| compile-expr | /home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt | 70 | 0 |
| explain | /home/nightlies/herbie/bhargav-log-space/src/core/explain.rkt | 614 | 0 |
| explain! | /home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt | 321 | 0 |
| run-improve! | /home/nightlies/herbie/bhargav-log-space/src/core/mainloop.rkt | 43 | 0 |
| get-alternatives/report | /home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt | 184 | 0 |
| (unnamed) | /home/nightlies/herbie/bhargav-log-space/src/api/sandbox.rkt | 280 | 6 |
| (unnamed) | /usr/local/racket/share/pkgs/profile-lib/main.rkt | 40 | 10 |
| profile-thunk | /usr/local/racket/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /usr/local/racket/collects/racket/engine.rkt | 42 | 24 |