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

Average Error: 0.0 → 0.0

Time: 5.9s

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 r454645 = 1.0;
        double r454646 = 8.0;
        double r454647 = r454645 / r454646;
        double r454648 = x;
        double r454649 = r454647 * r454648;
        double r454650 = y;
        double r454651 = z;
        double r454652 = r454650 * r454651;
        double r454653 = 2.0;
        double r454654 = r454652 / r454653;
        double r454655 = r454649 - r454654;
        double r454656 = t;
        double r454657 = r454655 + r454656;
        return r454657;
}

↓

double f(double x, double y, double z, double t) {
        double r454658 = 1.0;
        double r454659 = 8.0;
        double r454660 = r454658 / r454659;
        double r454661 = x;
        double r454662 = r454660 * r454661;
        double r454663 = y;
        double r454664 = z;
        double r454665 = r454663 * r454664;
        double r454666 = 2.0;
        double r454667 = r454665 / r454666;
        double r454668 = r454662 - r454667;
        double r454669 = t;
        double r454670 = r454668 + r454669;
        return r454670;
}

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 2019326 +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))