Average Error: 0.0 → 0.0
Time: 19.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 r490416 = 0.5;
        double r490417 = re;
        double r490418 = sin(r490417);
        double r490419 = r490416 * r490418;
        double r490420 = 0.0;
        double r490421 = im;
        double r490422 = r490420 - r490421;
        double r490423 = exp(r490422);
        double r490424 = exp(r490421);
        double r490425 = r490423 + r490424;
        double r490426 = r490419 * r490425;
        return r490426;
}
↓
double f(double re, double im) {
        double r490427 = 0.5;
        double r490428 = re;
        double r490429 = sin(r490428);
        double r490430 = r490427 * r490429;
        double r490431 = im;
        double r490432 = -r490431;
        double r490433 = exp(r490432);
        double r490434 = exp(r490431);
        double r490435 = r490433 + r490434;
        double r490436 = r490430 * r490435;
        return r490436;
}

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