double f(double re, double im) {
double r1360493 = re;
double r1360494 = exp(r1360493);
double r1360495 = im;
double r1360496 = cos(r1360495);
double r1360497 = r1360494 * r1360496;
return r1360497;
}
double f(double re, double im) {
double r1360498 = im;
double r1360499 = cos(r1360498);
double r1360500 = re;
double r1360501 = exp(r1360500);
double r1360502 = r1360499 * r1360501;
return r1360502;
}
e^{re} \cdot \cos im\cos im \cdot e^{re}


Bits error versus re



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