
(FPCore (x y z) :precision binary64 (+ (* x (sin y)) (* z (cos y))))
double code(double x, double y, double z) {
return (x * sin(y)) + (z * cos(y));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = (x * sin(y)) + (z * cos(y))
end function
public static double code(double x, double y, double z) {
return (x * Math.sin(y)) + (z * Math.cos(y));
}
def code(x, y, z): return (x * math.sin(y)) + (z * math.cos(y))
function code(x, y, z) return Float64(Float64(x * sin(y)) + Float64(z * cos(y))) end
function tmp = code(x, y, z) tmp = (x * sin(y)) + (z * cos(y)); end
code[x_, y_, z_] := N[(N[(x * N[Sin[y], $MachinePrecision]), $MachinePrecision] + N[(z * N[Cos[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x \cdot \sin y + z \cdot \cos y
\end{array}
herbie shell --seed 2024146
(FPCore (x y z)
:name "Diagrams.ThreeD.Transform:aboutX from diagrams-lib-1.3.0.3, B"
:precision binary64
(+ (* x (sin y)) (* z (cos y))))
Please file a bug report with this information.
| application: not a procedure; expected a procedure that can be applied to arguments given: #f | L | C | |
|---|---|---|---|
| backward-pass | /home/nightlies/herbie/jackson-mergable-platform-changes/src/correct-round.rkt | 146 | 0 |
| compiled-spec | /home/nightlies/herbie/jackson-mergable-platform-changes/src/correct-round.rkt | 27 | 2 |
| compiled-spec | /home/nightlies/herbie/jackson-mergable-platform-changes/src/correct-round.rkt | 143 | 2 |
| compiled-spec | /home/nightlies/herbie/jackson-mergable-platform-changes/src/correct-round.rkt | 27 | 2 |
| compiled-spec | /home/nightlies/herbie/jackson-mergable-platform-changes/src/ground-truth.rkt | 31 | 2 |
| ival-eval | /home/nightlies/herbie/jackson-mergable-platform-changes/src/ground-truth.rkt | 55 | 0 |
| <eval-prog-real> | /home/nightlies/herbie/jackson-mergable-platform-changes/src/ground-truth.rkt | 86 | 2 |
| compute-local-errors | /home/nightlies/herbie/jackson-mergable-platform-changes/src/core/localize.rkt | 75 | 0 |
| batch-localize-errors | /home/nightlies/herbie/jackson-mergable-platform-changes/src/core/localize.rkt | 61 | 0 |
| localize! | /home/nightlies/herbie/jackson-mergable-platform-changes/src/mainloop.rkt | 201 | 0 |
| run-iter! | /home/nightlies/herbie/jackson-mergable-platform-changes/src/mainloop.rkt | 73 | 0 |
| mutate! | /home/nightlies/herbie/jackson-mergable-platform-changes/src/mainloop.rkt | 65 | 0 |
| run-improve! | /home/nightlies/herbie/jackson-mergable-platform-changes/src/mainloop.rkt | 51 | 0 |
| get-alternatives/report | /home/nightlies/herbie/jackson-mergable-platform-changes/src/sandbox.rkt | 169 | 0 |
| (unnamed) | /home/nightlies/herbie/jackson-mergable-platform-changes/src/sandbox.rkt | 263 | 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 |