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

↓

\[(d2 \cdot d1 + \left(d1 \cdot \left(37 + d3\right)\right))_*\]

double f(double d1, double d2, double d3) {
        double r34141882 = d1;
        double r34141883 = d2;
        double r34141884 = r34141882 * r34141883;
        double r34141885 = d3;
        double r34141886 = 5.0;
        double r34141887 = r34141885 + r34141886;
        double r34141888 = r34141887 * r34141882;
        double r34141889 = r34141884 + r34141888;
        double r34141890 = 32.0;
        double r34141891 = r34141882 * r34141890;
        double r34141892 = r34141889 + r34141891;
        return r34141892;
}

↓

double f(double d1, double d2, double d3) {
        double r34141893 = d2;
        double r34141894 = d1;
        double r34141895 = 37.0;
        double r34141896 = d3;
        double r34141897 = r34141895 + r34141896;
        double r34141898 = r34141894 * r34141897;
        double r34141899 = fma(r34141893, r34141894, r34141898);
        return r34141899;
}

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

↓

(d2 \cdot d1 + \left(d1 \cdot \left(37 + d3\right)\right))_*

Original	0.0
Target	0.0
Herbie	0.0

Derivation

Initial program 0.0
\[\left(d1 \cdot d2 + \left(d3 + 5\right) \cdot d1\right) + d1 \cdot 32\]
Simplified0.0
\[\leadsto \color{blue}{d1 \cdot \left(d2 + \left(d3 + 37\right)\right)}\]
Using strategy rm
Applied distribute-rgt-in0.0
\[\leadsto \color{blue}{d2 \cdot d1 + \left(d3 + 37\right) \cdot d1}\]
Using strategy rm
Applied fma-def0.0
\[\leadsto \color{blue}{(d2 \cdot d1 + \left(\left(d3 + 37\right) \cdot d1\right))_*}\]
Final simplification0.0
\[\leadsto (d2 \cdot d1 + \left(d1 \cdot \left(37 + d3\right)\right))_*\]

Reproduce

herbie shell --seed 2019101 +o rules:numerics
(FPCore (d1 d2 d3)
  :name "FastMath dist3"

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

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

Error

Target

Derivation

Reproduce