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

Average Error: 0.0 → 0.0

Time: 4.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 r479112 = 1.0;
        double r479113 = 8.0;
        double r479114 = r479112 / r479113;
        double r479115 = x;
        double r479116 = r479114 * r479115;
        double r479117 = y;
        double r479118 = z;
        double r479119 = r479117 * r479118;
        double r479120 = 2.0;
        double r479121 = r479119 / r479120;
        double r479122 = r479116 - r479121;
        double r479123 = t;
        double r479124 = r479122 + r479123;
        return r479124;
}

↓

double f(double x, double y, double z, double t) {
        double r479125 = 1.0;
        double r479126 = 8.0;
        double r479127 = r479125 / r479126;
        double r479128 = x;
        double r479129 = r479127 * r479128;
        double r479130 = y;
        double r479131 = z;
        double r479132 = r479130 * r479131;
        double r479133 = 2.0;
        double r479134 = r479132 / r479133;
        double r479135 = r479129 - r479134;
        double r479136 = t;
        double r479137 = r479135 + r479136;
        return r479137;
}

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 2019323 +o rules:numerics
(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))