Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, B

Average Error: 0.0 → 0.0

Time: 2.5s

Precision: 64

Math

\[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

↓

\[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

C

double f(double x, double y, double z, double t) {
        double r719356 = 1.0;
        double r719357 = 8.0;
        double r719358 = r719356 / r719357;
        double r719359 = x;
        double r719360 = r719358 * r719359;
        double r719361 = y;
        double r719362 = z;
        double r719363 = r719361 * r719362;
        double r719364 = 2.0;
        double r719365 = r719363 / r719364;
        double r719366 = r719360 - r719365;
        double r719367 = t;
        double r719368 = r719366 + r719367;
        return r719368;
}

↓

double f(double x, double y, double z, double t) {
        double r719369 = 1.0;
        double r719370 = 8.0;
        double r719371 = r719369 / r719370;
        double r719372 = x;
        double r719373 = r719371 * r719372;
        double r719374 = y;
        double r719375 = z;
        double r719376 = r719374 * r719375;
        double r719377 = 2.0;
        double r719378 = r719376 / r719377;
        double r719379 = r719373 - r719378;
        double r719380 = t;
        double r719381 = r719379 + r719380;
        return r719381;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Target

Original	0.0
Target	0.0
Herbie	0.0

\[\left(\frac{x}{8} + t\right) - \frac{z}{2} \cdot y\]

Derivation

1. Initial program 0.0

   \[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

2. Final simplification 0.0

   \[\leadsto \left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

Reproduce

herbie shell --seed 2020036 
(FPCore (x y z t)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, B"
  :precision binary64

  :herbie-target
  (- (+ (/ x 8) t) (* (/ z 2) y))

  (+ (- (* (/ 1 8) x) (/ (* y z) 2)) t))