Use the --timeout flag to change the timeout.
\left(0.5 \cdot \sin re\right) \cdot \left(e^{-im} - e^{im}\right)double f(double re, double im) {
double r366661 = 0.5;
double r366662 = re;
double r366663 = sin(r366662);
double r366664 = r366661 * r366663;
double r366665 = im;
double r366666 = -r366665;
double r366667 = exp(r366666);
double r366668 = exp(r366665);
double r366669 = r366667 - r366668;
double r366670 = r366664 * r366669;
return r366670;
}
herbie shell --seed 2020047
(FPCore (re im)
:name "math.cos on complex, imaginary part"
:precision binary64
:herbie-target
(if (< (fabs im) 1) (- (* (sin re) (+ (+ im (* (* (* 0.16666666666666666 im) im) im)) (* (* (* (* (* 0.008333333333333333 im) im) im) im) im)))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))