Average Error: 0.0 → 0.0
Time: 30.3s
Precision: 64
\[e^{re} \cdot \sin im\]
\[\sin im \cdot e^{re}\]
double f(double re, double im) {
        double r3359381 = re;
        double r3359382 = exp(r3359381);
        double r3359383 = im;
        double r3359384 = sin(r3359383);
        double r3359385 = r3359382 * r3359384;
        return r3359385;
}

double f(double re, double im) {
        double r3359386 = im;
        double r3359387 = sin(r3359386);
        double r3359388 = re;
        double r3359389 = exp(r3359388);
        double r3359390 = r3359387 * r3359389;
        return r3359390;
}

e^{re} \cdot \sin im
\sin im \cdot e^{re}

Error

Bits error versus re

Bits error versus im

Derivation

  1. Initial program 0.0

    \[e^{re} \cdot \sin im\]
  2. Final simplification0.0

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

Reproduce

herbie shell --seed 2019102 
(FPCore (re im)
  :name "math.exp on complex, imaginary part"
  (* (exp re) (sin im)))