Average Error: 0.0 → 0.0
Time: 3.5s
Precision: 64
\[\left(d1 \cdot d2 + \left(d3 + 5\right) \cdot d1\right) + d1 \cdot 32\]
↓
\[d1 \cdot \left(d2 + \left(\left(d3 + 5\right) + 32\right)\right)\]
\left(d1 \cdot d2 + \left(d3 + 5\right) \cdot d1\right) + d1 \cdot 32
↓
d1 \cdot \left(d2 + \left(\left(d3 + 5\right) + 32\right)\right)
double f(double d1, double d2, double d3) {
        double r1019 = d1;
        double r1020 = d2;
        double r1021 = r1019 * r1020;
        double r1022 = d3;
        double r1023 = 5.0;
        double r1024 = r1022 + r1023;
        double r1025 = r1024 * r1019;
        double r1026 = r1021 + r1025;
        double r1027 = 32.0;
        double r1028 = r1019 * r1027;
        double r1029 = r1026 + r1028;
        return r1029;
}
↓
double f(double d1, double d2, double d3) {
        double r1030 = d1;
        double r1031 = d2;
        double r1032 = d3;
        double r1033 = 5.0;
        double r1034 = r1032 + r1033;
        double r1035 = 32.0;
        double r1036 = r1034 + r1035;
        double r1037 = r1031 + r1036;
        double r1038 = r1030 * r1037;
        return r1038;
}

Error

Bits error versus d1

Bits error versus d2

Bits error versus d3

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original0.0
Target0.0
Herbie0.0
\[d1 \cdot \left(\left(37 + d3\right) + d2\right)\]

Derivation

  1. Initial program 0.0

    \[\left(d1 \cdot d2 + \left(d3 + 5\right) \cdot d1\right) + d1 \cdot 32\]

  2. Simplified0.0

    \[\leadsto \color{blue}{d1 \cdot \left(d2 + \left(\left(d3 + 5\right) + 32\right)\right)}\]

  3. Final simplification0.0

    \[\leadsto d1 \cdot \left(d2 + \left(\left(d3 + 5\right) + 32\right)\right)\]

Reproduce

herbie shell --seed 2020025 
(FPCore (d1 d2 d3)
  :name "FastMath dist3"
  :precision binary64

  :herbie-target
  (* d1 (+ (+ 37 d3) d2))

  (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))