Average Error: 14.8 → 0
Time: 1.2s
Precision: 64
\[a \cdot \frac{b}{a}\]
\[b\]
a \cdot \frac{b}{a}
b
double f(double a, double b) {
        double r11614371 = a;
        double r11614372 = b;
        double r11614373 = r11614372 / r11614371;
        double r11614374 = r11614371 * r11614373;
        return r11614374;
}

double f(double __attribute__((unused)) a, double b) {
        double r11614375 = b;
        return r11614375;
}

Error

Bits error versus a

Bits error versus b

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 14.8

    \[a \cdot \frac{b}{a}\]
  2. Simplified0

    \[\leadsto \color{blue}{b}\]
  3. Final simplification0

    \[\leadsto b\]

Reproduce

herbie shell --seed 1 
(FPCore (a b)
  :name "a * (b/a)"
  (* a (/ b a)))