Average Error: 0.0 → 0.0
Time: 21.8s
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 r88820 = 0.5;
        double r88821 = re;
        double r88822 = cos(r88821);
        double r88823 = r88820 * r88822;
        double r88824 = im;
        double r88825 = -r88824;
        double r88826 = exp(r88825);
        double r88827 = exp(r88824);
        double r88828 = r88826 + r88827;
        double r88829 = r88823 * r88828;
        return r88829;
}
↓
double f(double re, double im) {
        double r88830 = 0.5;
        double r88831 = re;
        double r88832 = cos(r88831);
        double r88833 = r88830 * r88832;
        double r88834 = im;
        double r88835 = -r88834;
        double r88836 = exp(r88835);
        double r88837 = exp(r88834);
        double r88838 = r88836 + r88837;
        double r88839 = r88833 * r88838;
        return r88839;
}

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