Average Error: 0 → 0
Time: 337.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 r402499 = 100.0;
        double r402500 = x;
        double r402501 = r402500 - r402500;
        double r402502 = r402501 / r402500;
        double r402503 = r402499 * r402502;
        return r402503;
}
↓
double f(double x) {
        double r402504 = 100.0;
        double r402505 = x;
        double r402506 = r402505 - r402505;
        double r402507 = r402506 / r402505;
        double r402508 = r402504 * r402507;
        return r402508;
}

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 2020057 
(FPCore (x)
  :name "ReportTypes:explainFloat from gipeda-0.1.2.1"
  :precision binary64

  :herbie-target
  0.0

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