e^{\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)double f(double x_re, double x_im, double y_re, double y_im) {
double r849039 = x_re;
double r849040 = r849039 * r849039;
double r849041 = x_im;
double r849042 = r849041 * r849041;
double r849043 = r849040 + r849042;
double r849044 = sqrt(r849043);
double r849045 = log(r849044);
double r849046 = y_re;
double r849047 = r849045 * r849046;
double r849048 = atan2(r849041, r849039);
double r849049 = y_im;
double r849050 = r849048 * r849049;
double r849051 = r849047 - r849050;
double r849052 = exp(r849051);
double r849053 = r849045 * r849049;
double r849054 = r849048 * r849046;
double r849055 = r849053 + r849054;
double r849056 = sin(r849055);
double r849057 = r849052 * r849056;
return r849057;
}
Please include this information when filing a bug report:
herbie shell --seed 2019173
(FPCore (x.re x.im y.re y.im)
:name "powComplex, imaginary part"
(* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))))
| hash-ref: no value found for key key: #<enode 202(202)> | 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 |