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

Average Error: 0.0 → 0.0

Time: 5.2s

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 r471595 = 1.0;
        double r471596 = 8.0;
        double r471597 = r471595 / r471596;
        double r471598 = x;
        double r471599 = r471597 * r471598;
        double r471600 = y;
        double r471601 = z;
        double r471602 = r471600 * r471601;
        double r471603 = 2.0;
        double r471604 = r471602 / r471603;
        double r471605 = r471599 - r471604;
        double r471606 = t;
        double r471607 = r471605 + r471606;
        return r471607;
}

↓

double f(double x, double y, double z, double t) {
        double r471608 = 1.0;
        double r471609 = 8.0;
        double r471610 = r471608 / r471609;
        double r471611 = x;
        double r471612 = r471610 * r471611;
        double r471613 = y;
        double r471614 = z;
        double r471615 = r471613 * r471614;
        double r471616 = 2.0;
        double r471617 = r471615 / r471616;
        double r471618 = r471612 - r471617;
        double r471619 = t;
        double r471620 = r471618 + r471619;
        return r471620;
}

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 2019212 
(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))