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 r34681076 = 1.0;
        double r34681077 = 8.0;
        double r34681078 = r34681076 / r34681077;
        double r34681079 = x;
        double r34681080 = r34681078 * r34681079;
        double r34681081 = y;
        double r34681082 = z;
        double r34681083 = r34681081 * r34681082;
        double r34681084 = 2.0;
        double r34681085 = r34681083 / r34681084;
        double r34681086 = r34681080 - r34681085;
        double r34681087 = t;
        double r34681088 = r34681086 + r34681087;
        return r34681088;
}

↓

double f(double x, double y, double z, double t) {
        double r34681089 = t;
        double r34681090 = 1.0;
        double r34681091 = 8.0;
        double r34681092 = r34681090 / r34681091;
        double r34681093 = x;
        double r34681094 = r34681092 * r34681093;
        double r34681095 = y;
        double r34681096 = z;
        double r34681097 = r34681095 * r34681096;
        double r34681098 = 2.0;
        double r34681099 = r34681097 / r34681098;
        double r34681100 = r34681094 - r34681099;
        double r34681101 = r34681089 + r34681100;
        return r34681101;
}

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