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

Average Error: 0.0 → 0.0

Time: 3.4s

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 r497876 = 1.0;
        double r497877 = 8.0;
        double r497878 = r497876 / r497877;
        double r497879 = x;
        double r497880 = r497878 * r497879;
        double r497881 = y;
        double r497882 = z;
        double r497883 = r497881 * r497882;
        double r497884 = 2.0;
        double r497885 = r497883 / r497884;
        double r497886 = r497880 - r497885;
        double r497887 = t;
        double r497888 = r497886 + r497887;
        return r497888;
}

↓

double f(double x, double y, double z, double t) {
        double r497889 = 1.0;
        double r497890 = 8.0;
        double r497891 = r497889 / r497890;
        double r497892 = x;
        double r497893 = r497891 * r497892;
        double r497894 = y;
        double r497895 = z;
        double r497896 = r497894 * r497895;
        double r497897 = 2.0;
        double r497898 = r497896 / r497897;
        double r497899 = r497893 - r497898;
        double r497900 = t;
        double r497901 = r497899 + r497900;
        return r497901;
}

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