\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0.0}{\log base \cdot \log base + 0.0 \cdot 0.0}double f(double re, double im, double base) {
double r536296 = re;
double r536297 = r536296 * r536296;
double r536298 = im;
double r536299 = r536298 * r536298;
double r536300 = r536297 + r536299;
double r536301 = sqrt(r536300);
double r536302 = log(r536301);
double r536303 = base;
double r536304 = log(r536303);
double r536305 = r536302 * r536304;
double r536306 = atan2(r536298, r536296);
double r536307 = 0.0;
double r536308 = r536306 * r536307;
double r536309 = r536305 + r536308;
double r536310 = r536304 * r536304;
double r536311 = r536307 * r536307;
double r536312 = r536310 + r536311;
double r536313 = r536309 / r536312;
return r536313;
}
Please include this information when filing a bug report:
herbie shell --seed 2019173
(FPCore (re im base)
:name "math.log/2 on complex, real part"
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))
| hash-ref: no value found for key key: #<enode 504(504)> | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 197 | 2 |
| extractor-extract | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 196 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 35 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 217 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 320 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 354 | 4 |
| run-improve43 | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 339 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |