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

Average Error: 0.0 → 0.0

Time: 3.8s

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 r678849 = 1.0;
        double r678850 = 8.0;
        double r678851 = r678849 / r678850;
        double r678852 = x;
        double r678853 = r678851 * r678852;
        double r678854 = y;
        double r678855 = z;
        double r678856 = r678854 * r678855;
        double r678857 = 2.0;
        double r678858 = r678856 / r678857;
        double r678859 = r678853 - r678858;
        double r678860 = t;
        double r678861 = r678859 + r678860;
        return r678861;
}

↓

double f(double x, double y, double z, double t) {
        double r678862 = 1.0;
        double r678863 = 8.0;
        double r678864 = r678862 / r678863;
        double r678865 = x;
        double r678866 = r678864 * r678865;
        double r678867 = y;
        double r678868 = z;
        double r678869 = r678867 * r678868;
        double r678870 = 2.0;
        double r678871 = r678869 / r678870;
        double r678872 = r678866 - r678871;
        double r678873 = t;
        double r678874 = r678872 + r678873;
        return r678874;
}

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