\[\left(0.5 \cdot \sin re\right) \cdot \left(e^{0 - im} + e^{im}\right)\]
\left(0.5 \cdot \sin re\right) \cdot \left(e^{0 - im} + e^{im}\right)
(FPCore (re im)
 :precision binary64
 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))
double code(double re, double im) {
	return ((double) (((double) (0.5 * ((double) sin(re)))) * ((double) (((double) exp(((double) (0.0 - im)))) + ((double) exp(im))))));
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2020203 
(FPCore (re im)
  :name "math.sin on complex, real part"
  :precision binary64
  (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))

Backtrace

first: contract violation expected: (and/c list? (not/c empty?)) given: '()LC
batch-eval-progs/data/pavpan/nightlies/herbie/cleanup/src/programs.rkt1070
batch-errors/data/pavpan/nightlies/herbie/cleanup/src/points.rkt1690
atab-add-altns/data/pavpan/nightlies/herbie/cleanup/src/core/alt-table.rkt1940
(unnamed)/opt/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt48618
finalize-iter!/data/pavpan/nightlies/herbie/cleanup/src/mainloop.rkt2730
run-iter!/data/pavpan/nightlies/herbie/cleanup/src/mainloop.rkt3410
for-loop/data/pavpan/nightlies/herbie/cleanup/src/mainloop.rkt3794
run-improve41/data/pavpan/nightlies/herbie/cleanup/src/mainloop.rkt3600
.../more-scheme.rkt:261:28unknown
run/opt/racket-7.5/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.5/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.5/collects/racket/private/more-scheme.rkt26128

Reproduce

herbie shell --seed 2020203 
(FPCore (re im)
  :name "math.sin on complex, real part"
  :precision binary64
  (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))