Average Error: 0.0 → 0.0
Time: 15.8s
Precision: 64
\[\left(0.5 \cdot \sin re\right) \cdot \left(e^{0.0 - im} + e^{im}\right)\]
↓
\[\left(0.5 \cdot \sin re\right) \cdot \left(e^{0.0 - im} + e^{im}\right)\]
\left(0.5 \cdot \sin re\right) \cdot \left(e^{0.0 - im} + e^{im}\right)
↓
\left(0.5 \cdot \sin re\right) \cdot \left(e^{0.0 - im} + e^{im}\right)
double f(double re, double im) {
        double r75560 = 0.5;
        double r75561 = re;
        double r75562 = sin(r75561);
        double r75563 = r75560 * r75562;
        double r75564 = 0.0;
        double r75565 = im;
        double r75566 = r75564 - r75565;
        double r75567 = exp(r75566);
        double r75568 = exp(r75565);
        double r75569 = r75567 + r75568;
        double r75570 = r75563 * r75569;
        return r75570;
}
↓
double f(double re, double im) {
        double r75571 = 0.5;
        double r75572 = re;
        double r75573 = sin(r75572);
        double r75574 = r75571 * r75573;
        double r75575 = 0.0;
        double r75576 = im;
        double r75577 = r75575 - r75576;
        double r75578 = exp(r75577);
        double r75579 = exp(r75576);
        double r75580 = r75578 + r75579;
        double r75581 = r75574 * r75580;
        return r75581;
}

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

    \[\left(0.5 \cdot \sin re\right) \cdot \left(e^{0.0 - im} + e^{im}\right)\]

  2. Final simplification0.0

    \[\leadsto \left(0.5 \cdot \sin re\right) \cdot \left(e^{0.0 - im} + e^{im}\right)\]

Reproduce

herbie shell --seed 2020043 
(FPCore (re im)
  :name "math.sin on complex, real part"
  :precision binary64
  (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))