Average Error: 0 → 0
Time: 3.0s
Precision: 64
\[a \cdot b + c\]
\[a \cdot b + c\]
a \cdot b + c
a \cdot b + c
double f(double a, double b, double c) {
        double r1595410 = a;
        double r1595411 = b;
        double r1595412 = r1595410 * r1595411;
        double r1595413 = c;
        double r1595414 = r1595412 + r1595413;
        return r1595414;
}

double f(double a, double b, double c) {
        double r1595415 = a;
        double r1595416 = b;
        double r1595417 = r1595415 * r1595416;
        double r1595418 = c;
        double r1595419 = r1595417 + r1595418;
        return r1595419;
}

Error

Bits error versus a

Bits error versus b

Bits error versus c

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0

    \[a \cdot b + c\]
  2. Final simplification0

    \[\leadsto a \cdot b + c\]

Reproduce

herbie shell --seed 1 
(FPCore (a b c)
  :name "a*b+c"
  :precision binary32
  (+ (* a b) c))