Average Error: 0.0 → 0.0
Time: 26.5s
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 r1300547 = 0.5;
        double r1300548 = re;
        double r1300549 = sin(r1300548);
        double r1300550 = r1300547 * r1300549;
        double r1300551 = 0.0;
        double r1300552 = im;
        double r1300553 = r1300551 - r1300552;
        double r1300554 = exp(r1300553);
        double r1300555 = exp(r1300552);
        double r1300556 = r1300554 + r1300555;
        double r1300557 = r1300550 * r1300556;
        return r1300557;
}
↓
double f(double re, double im) {
        double r1300558 = 0.5;
        double r1300559 = re;
        double r1300560 = sin(r1300559);
        double r1300561 = r1300558 * r1300560;
        double r1300562 = im;
        double r1300563 = -r1300562;
        double r1300564 = exp(r1300563);
        double r1300565 = exp(r1300562);
        double r1300566 = r1300564 + r1300565;
        double r1300567 = r1300561 * r1300566;
        return r1300567;
}

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 2019163 
(FPCore (re im)
  :name "math.sin on complex, real part"
  (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))