Average Error: 0.0 → 0.0
Time: 16.2s
Precision: 64
\[\left(0.5 \cdot \sin re\right) \cdot \left(e^{0 - im} + e^{im}\right)\]
↓
\[\left(0.5 \cdot \sin re\right) \cdot \left(e^{-im} + e^{im}\right)\]
\left(0.5 \cdot \sin re\right) \cdot \left(e^{0 - im} + e^{im}\right)
↓
\left(0.5 \cdot \sin re\right) \cdot \left(e^{-im} + e^{im}\right)
double f(double re, double im) {
        double r538548 = 0.5;
        double r538549 = re;
        double r538550 = sin(r538549);
        double r538551 = r538548 * r538550;
        double r538552 = 0.0;
        double r538553 = im;
        double r538554 = r538552 - r538553;
        double r538555 = exp(r538554);
        double r538556 = exp(r538553);
        double r538557 = r538555 + r538556;
        double r538558 = r538551 * r538557;
        return r538558;
}
↓
double f(double re, double im) {
        double r538559 = 0.5;
        double r538560 = re;
        double r538561 = sin(r538560);
        double r538562 = r538559 * r538561;
        double r538563 = im;
        double r538564 = -r538563;
        double r538565 = exp(r538564);
        double r538566 = exp(r538563);
        double r538567 = r538565 + r538566;
        double r538568 = r538562 * r538567;
        return r538568;
}

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 - im} + e^{im}\right)\]

  2. Final simplification0.0

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

Reproduce

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