Average Error: 0.0 → 0.0
Time: 39.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 r689556 = 0.5;
        double r689557 = re;
        double r689558 = sin(r689557);
        double r689559 = r689556 * r689558;
        double r689560 = 0.0;
        double r689561 = im;
        double r689562 = r689560 - r689561;
        double r689563 = exp(r689562);
        double r689564 = exp(r689561);
        double r689565 = r689563 + r689564;
        double r689566 = r689559 * r689565;
        return r689566;
}
↓
double f(double re, double im) {
        double r689567 = 0.5;
        double r689568 = re;
        double r689569 = sin(r689568);
        double r689570 = r689567 * r689569;
        double r689571 = im;
        double r689572 = -r689571;
        double r689573 = exp(r689572);
        double r689574 = exp(r689571);
        double r689575 = r689573 + r689574;
        double r689576 = r689570 * r689575;
        return r689576;
}

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