(FPCore (eps) :precision binary64 (log (/ (- 1.0 eps) (+ 1.0 eps))))
double code(double eps) {
return log(((1.0 - eps) / (1.0 + eps)));
}
real(8) function code(eps)
real(8), intent (in) :: eps
code = log(((1.0d0 - eps) / (1.0d0 + eps)))
end function
public static double code(double eps) {
return Math.log(((1.0 - eps) / (1.0 + eps)));
}
def code(eps): return math.log(((1.0 - eps) / (1.0 + eps)))
function code(eps) return log(Float64(Float64(1.0 - eps) / Float64(1.0 + eps))) end
function tmp = code(eps) tmp = log(((1.0 - eps) / (1.0 + eps))); end
code[eps_] := N[Log[N[(N[(1.0 - eps), $MachinePrecision] / N[(1.0 + eps), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\log \left(\frac{1 - \varepsilon}{1 + \varepsilon}\right)
Please include this information when filing a bug report:
herbie shell --seed 2022349
(FPCore (eps)
:name "logq (problem 3.4.3)"
:precision binary64
:herbie-target
(* -2.0 (+ (+ eps (/ (pow eps 3.0) 3.0)) (/ (pow eps 5.0) 5.0)))
(log (/ (- 1.0 eps) (+ 1.0 eps))))
| error writing to stream port system error: Broken pipe; errno=32 | L | C | |
|---|---|---|---|
| writeln | /usr/share/racket/collects/racket/private/misc.rkt | 156 | 4 |
| run-egglog | /home/nightlies/nightlies/herbie/oflatt-egglog-ctx/src/egglog/run-egglog.rkt | 1301 | 0 |
| run-simplify-input | /home/nightlies/nightlies/herbie/oflatt-egglog-ctx/src/core/simplify.rkt | 74 | 0 |
| simplify-batch | /home/nightlies/nightlies/herbie/oflatt-egglog-ctx/src/core/simplify.rkt | 51 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt | 379 | 33 |
| get-swaps | /home/nightlies/nightlies/herbie/oflatt-egglog-ctx/src/symmetry.rkt | 6 | 0 |
| connected-components | /home/nightlies/nightlies/herbie/oflatt-egglog-ctx/src/symmetry.rkt | 20 | 0 |
| run-improve! | /home/nightlies/nightlies/herbie/oflatt-egglog-ctx/src/mainloop.rkt | 320 | 0 |
| (unnamed) | /home/nightlies/nightlies/herbie/oflatt-egglog-ctx/src/sandbox.rkt | 55 | 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 |