ReportTypes:explainFloat from gipeda-0.1.2.1

Average Error: 0 → 0

Time: 9.6s

Precision: 64

• Falling back on racket egraph because egg-herbie package not installed

Math

\[100 \cdot \frac{x - x}{x}\]

↓

\[0\]

C

double f(double x) {
        double r285500 = 100.0;
        double r285501 = x;
        double r285502 = r285501 - r285501;
        double r285503 = r285502 / r285501;
        double r285504 = r285500 * r285503;
        return r285504;
}

↓

double f(double __attribute__((unused)) x) {
        double r285505 = 0.0;
        return r285505;
}

Error

Bits error versus x

Target

Original	0
Target	0
Herbie	0

\[0.0\]

Derivation

1. Initial program 0

   \[100 \cdot \frac{x - x}{x}\]

2. Simplified 0

   \[\leadsto \color{blue}{0}\]

3. Final simplification 0

   \[\leadsto 0\]

Reproduce

herbie shell --seed 2020047 +o rules:numerics
(FPCore (x)
  :name "ReportTypes:explainFloat from gipeda-0.1.2.1"
  :precision binary64

  :herbie-target
  0.0

  (* 100 (/ (- x x) x)))