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

Average Error: 0.0 → 0.0

Time: 8.3s

Precision: 64

Math

\[\left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right) + t\]

↓

\[t + \left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right)\]

C

double f(double x, double y, double z, double t) {
        double r34124174 = 1.0;
        double r34124175 = 8.0;
        double r34124176 = r34124174 / r34124175;
        double r34124177 = x;
        double r34124178 = r34124176 * r34124177;
        double r34124179 = y;
        double r34124180 = z;
        double r34124181 = r34124179 * r34124180;
        double r34124182 = 2.0;
        double r34124183 = r34124181 / r34124182;
        double r34124184 = r34124178 - r34124183;
        double r34124185 = t;
        double r34124186 = r34124184 + r34124185;
        return r34124186;
}

↓

double f(double x, double y, double z, double t) {
        double r34124187 = t;
        double r34124188 = 1.0;
        double r34124189 = 8.0;
        double r34124190 = r34124188 / r34124189;
        double r34124191 = x;
        double r34124192 = r34124190 * r34124191;
        double r34124193 = y;
        double r34124194 = z;
        double r34124195 = r34124193 * r34124194;
        double r34124196 = 2.0;
        double r34124197 = r34124195 / r34124196;
        double r34124198 = r34124192 - r34124197;
        double r34124199 = r34124187 + r34124198;
        return r34124199;
}

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 t + \left(\frac{1}{8} \cdot x - \frac{y \cdot z}{2}\right)\]

Reproduce

herbie shell --seed 2019172 
(FPCore (x y z t)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, B"

  :herbie-target
  (- (+ (/ x 8.0) t) (* (/ z 2.0) y))

  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))