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

↓

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

e^{re} \cdot \sin im

↓

\sin im \cdot e^{re}

double f(double re, double im) {
        double r1340560 = re;
        double r1340561 = exp(r1340560);
        double r1340562 = im;
        double r1340563 = sin(r1340562);
        double r1340564 = r1340561 * r1340563;
        return r1340564;
}

↓

double f(double re, double im) {
        double r1340565 = im;
        double r1340566 = sin(r1340565);
        double r1340567 = re;
        double r1340568 = exp(r1340567);
        double r1340569 = r1340566 * r1340568;
        return r1340569;
}

Try it out

In
Out

Enter valid numbers for all inputs

Derivation

Initial program 0.0
\[e^{re} \cdot \sin im\]
Final simplification0.0
\[\leadsto \sin im \cdot e^{re}\]

Reproduce

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

Error

Try it out

Derivation

Reproduce