
(FPCore (t l k) :precision binary64 (/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (- (+ 1.0 (pow (/ k t) 2.0)) 1.0))))
double code(double t, double l, double k) {
return 2.0 / ((((pow(t, 3.0) / (l * l)) * sin(k)) * tan(k)) * ((1.0 + pow((k / t), 2.0)) - 1.0));
}
real(8) function code(t, l, k)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k
code = 2.0d0 / (((((t ** 3.0d0) / (l * l)) * sin(k)) * tan(k)) * ((1.0d0 + ((k / t) ** 2.0d0)) - 1.0d0))
end function
public static double code(double t, double l, double k) {
return 2.0 / ((((Math.pow(t, 3.0) / (l * l)) * Math.sin(k)) * Math.tan(k)) * ((1.0 + Math.pow((k / t), 2.0)) - 1.0));
}
def code(t, l, k): return 2.0 / ((((math.pow(t, 3.0) / (l * l)) * math.sin(k)) * math.tan(k)) * ((1.0 + math.pow((k / t), 2.0)) - 1.0))
function code(t, l, k) return Float64(2.0 / Float64(Float64(Float64(Float64((t ^ 3.0) / Float64(l * l)) * sin(k)) * tan(k)) * Float64(Float64(1.0 + (Float64(k / t) ^ 2.0)) - 1.0))) end
function tmp = code(t, l, k) tmp = 2.0 / (((((t ^ 3.0) / (l * l)) * sin(k)) * tan(k)) * ((1.0 + ((k / t) ^ 2.0)) - 1.0)); end
code[t_, l_, k_] := N[(2.0 / N[(N[(N[(N[(N[Power[t, 3.0], $MachinePrecision] / N[(l * l), $MachinePrecision]), $MachinePrecision] * N[Sin[k], $MachinePrecision]), $MachinePrecision] * N[Tan[k], $MachinePrecision]), $MachinePrecision] * N[(N[(1.0 + N[Power[N[(k / t), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) - 1\right)}
\end{array}
herbie shell --seed 2024146
(FPCore (t l k)
:name "Toniolo and Linder, Equation (10-)"
:precision binary64
(/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (- (+ 1.0 (pow (/ k t) 2.0)) 1.0))))
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 |