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

Average Error: 0.0 → 0.0

Time: 1.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 r718925 = 1.0;
        double r718926 = 8.0;
        double r718927 = r718925 / r718926;
        double r718928 = x;
        double r718929 = r718927 * r718928;
        double r718930 = y;
        double r718931 = z;
        double r718932 = r718930 * r718931;
        double r718933 = 2.0;
        double r718934 = r718932 / r718933;
        double r718935 = r718929 - r718934;
        double r718936 = t;
        double r718937 = r718935 + r718936;
        return r718937;
}

↓

double f(double x, double y, double z, double t) {
        double r718938 = 1.0;
        double r718939 = 8.0;
        double r718940 = r718938 / r718939;
        double r718941 = x;
        double r718942 = r718940 * r718941;
        double r718943 = y;
        double r718944 = z;
        double r718945 = r718943 * r718944;
        double r718946 = 2.0;
        double r718947 = r718945 / r718946;
        double r718948 = r718942 - r718947;
        double r718949 = t;
        double r718950 = r718948 + r718949;
        return r718950;
}

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