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

Average Error: 0.1 → 0.1

Time: 14.6s

Precision: 64

Math

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

↓

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

C

double f(double x, double y) {
        double r10062871 = x;
        double r10062872 = 3.0;
        double r10062873 = 8.0;
        double r10062874 = r10062872 / r10062873;
        double r10062875 = y;
        double r10062876 = r10062874 * r10062875;
        double r10062877 = r10062871 - r10062876;
        return r10062877;
}

↓

double f(double x, double y) {
        double r10062878 = x;
        double r10062879 = 3.0;
        double r10062880 = 8.0;
        double r10062881 = r10062879 / r10062880;
        double r10062882 = y;
        double r10062883 = r10062881 * r10062882;
        double r10062884 = r10062878 - r10062883;
        return r10062884;
}

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 2019169 +o rules:numerics
(FPCore (x y)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, A"
  (- x (* (/ 3.0 8.0) y)))