\[\Im(\left(\frac{e^{x} + e^{-x}}{2} \cdot \cos y + \frac{e^{x} - e^{-x}}{2} \cdot \sin y i\right))\]
\Im(\left(\frac{e^{x} + e^{-x}}{2} \cdot \cos y + \frac{e^{x} - e^{-x}}{2} \cdot \sin y i\right))
double f(double x, double y) {
        double r8375 = x;
        double r8376 = exp(r8375);
        double r8377 = -r8375;
        double r8378 = exp(r8377);
        double r8379 = r8376 + r8378;
        double r8380 = 2.0;
        double r8381 = r8379 / r8380;
        double r8382 = y;
        double r8383 = cos(r8382);
        double r8384 = r8381 * r8383;
        double r8385 = r8376 - r8378;
        double r8386 = r8385 / r8380;
        double r8387 = sin(r8382);
        double r8388 = r8386 * r8387;
        double r8389 = /* ERROR: no complex support in C */;
        double r8390 = /* ERROR: no complex support in C */;
        return r8390;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019194 
(FPCore (x y)
  :name "Euler formula imaginary part (p55)"
  (im (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))

Backtrace

result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0LC
loop/data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt252
(unnamed)/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt260
simplify!/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt2200
run-improve47/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt3420
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.0/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.0/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128