Average Error: 0.0 → 0.0
Time: 2.7m
Precision: 64
Internal Precision: 576
\[\left(\left(d1 \cdot d2 - d1 \cdot d3\right) + d4 \cdot d1\right) - d1 \cdot d1\]
↓
\[\left(\left(d4 - d3\right) + \left(d2 - d1\right)\right) \cdot d1\]

Error

Bits error versus d1

Bits error versus d2

Bits error versus d3

Bits error versus d4

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(\left(d2 - d3\right) + d4\right) - d1\right)\]

Derivation

  1. Initial program 0.0

    \[\left(\left(d1 \cdot d2 - d1 \cdot d3\right) + d4 \cdot d1\right) - d1 \cdot d1\]

  2. Applied simplify0.0

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

Runtime

Time bar (total: 2.7m)Debug logProfile

herbie shell --seed 2018193 
(FPCore (d1 d2 d3 d4)
  :name "FastMath dist4"

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

  (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))