e^{re} \cdot \cos ime^{re} \cdot \cos imdouble f(double re, double im) {
double r27516 = re;
double r27517 = exp(r27516);
double r27518 = im;
double r27519 = cos(r27518);
double r27520 = r27517 * r27519;
return r27520;
}
double f(double re, double im) {
double r27521 = re;
double r27522 = exp(r27521);
double r27523 = im;
double r27524 = cos(r27523);
double r27525 = r27522 * r27524;
return r27525;
}



Bits error versus re



Bits error versus im
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 2019325 +o rules:numerics
(FPCore (re im)
:name "math.exp on complex, real part"
:precision binary64
(* (exp re) (cos im)))