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

Average Error: 0.1 → 0.1

Time: 5.2s

Precision: 64

Math

\[x - \frac{3}{8} \cdot y\]

↓

\[x - \frac{3}{8} \cdot y\]

C

double f(double x, double y) {
        double r225458 = x;
        double r225459 = 3.0;
        double r225460 = 8.0;
        double r225461 = r225459 / r225460;
        double r225462 = y;
        double r225463 = r225461 * r225462;
        double r225464 = r225458 - r225463;
        return r225464;
}

↓

double f(double x, double y) {
        double r225465 = x;
        double r225466 = 3.0;
        double r225467 = 8.0;
        double r225468 = r225466 / r225467;
        double r225469 = y;
        double r225470 = r225468 * r225469;
        double r225471 = r225465 - r225470;
        return r225471;
}

Error

Bits error versus x

Bits error versus y

Derivation

1. Initial program 0.1

   \[x - \frac{3}{8} \cdot y\]

2. Final simplification 0.1

   \[\leadsto x - \frac{3}{8} \cdot y\]

Reproduce

herbie shell --seed 2020065 +o rules:numerics
(FPCore (x y)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, A"
  :precision binary64
  (- x (* (/ 3 8) y)))