Average Error: 0 → 0
Time: 345.0ms
Precision: 64
\[100 \cdot \frac{x - x}{x}\]
↓
\[100 \cdot \frac{x - x}{x}\]
100 \cdot \frac{x - x}{x}
↓
100 \cdot \frac{x - x}{x}
double f(double x) {
        double r310144 = 100.0;
        double r310145 = x;
        double r310146 = r310145 - r310145;
        double r310147 = r310146 / r310145;
        double r310148 = r310144 * r310147;
        return r310148;
}
↓
double f(double x) {
        double r310149 = 100.0;
        double r310150 = x;
        double r310151 = r310150 - r310150;
        double r310152 = r310151 / r310150;
        double r310153 = r310149 * r310152;
        return r310153;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original0
Target0
Herbie0
\[0.0\]

Derivation

  1. Initial program 0

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

  2. Final simplification0

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

Reproduce

herbie shell --seed 2020083 
(FPCore (x)
  :name "ReportTypes:explainFloat from gipeda-0.1.2.1"
  :precision binary64

  :herbie-target
  0.0

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