Average Error: 0.0 → 0.0
Time: 5.7s
Precision: 64
\[\left(0.5 \cdot \cos re\right) \cdot \left(e^{-im} + e^{im}\right)\]
↓
\[\left(0.5 \cdot \cos re\right) \cdot \left(e^{-im} + e^{im}\right)\]
\left(0.5 \cdot \cos re\right) \cdot \left(e^{-im} + e^{im}\right)
↓
\left(0.5 \cdot \cos re\right) \cdot \left(e^{-im} + e^{im}\right)
double f(double re, double im) {
        double r54485 = 0.5;
        double r54486 = re;
        double r54487 = cos(r54486);
        double r54488 = r54485 * r54487;
        double r54489 = im;
        double r54490 = -r54489;
        double r54491 = exp(r54490);
        double r54492 = exp(r54489);
        double r54493 = r54491 + r54492;
        double r54494 = r54488 * r54493;
        return r54494;
}
↓
double f(double re, double im) {
        double r54495 = 0.5;
        double r54496 = re;
        double r54497 = cos(r54496);
        double r54498 = r54495 * r54497;
        double r54499 = im;
        double r54500 = -r54499;
        double r54501 = exp(r54500);
        double r54502 = exp(r54499);
        double r54503 = r54501 + r54502;
        double r54504 = r54498 * r54503;
        return r54504;
}

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 \cos re\right) \cdot \left(e^{-im} + e^{im}\right)\]

  2. Final simplification0.0

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

Reproduce

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