Average Error: 0.0 → 0.0
Time: 10.8s
Precision: 64
\[e^{re} \cdot \cos im\]
↓
\[e^{re} \cdot \cos im\]
e^{re} \cdot \cos im
↓
e^{re} \cdot \cos im
double f(double re, double im) {
        double r28467 = re;
        double r28468 = exp(r28467);
        double r28469 = im;
        double r28470 = cos(r28469);
        double r28471 = r28468 * r28470;
        return r28471;
}
↓
double f(double re, double im) {
        double r28472 = re;
        double r28473 = exp(r28472);
        double r28474 = im;
        double r28475 = cos(r28474);
        double r28476 = r28473 * r28475;
        return r28476;
}

Error

Bits error versus re

Bits error versus im

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[e^{re} \cdot \cos im\]

  2. Final simplification0.0

    \[\leadsto e^{re} \cdot \cos im\]

Reproduce

herbie shell --seed 2019195 +o rules:numerics
(FPCore (re im)
  :name "math.exp on complex, real part"
  (* (exp re) (cos im)))