Average Error: 0 → 0
Time: 1.2s
Precision: 64
\[\left(\left(\left(x + x\right) + x\right) + x\right) + x\]
↓
\[\left(\left(\left(x + x\right) + x\right) + x\right) + x\]
\left(\left(\left(x + x\right) + x\right) + x\right) + x
↓
\left(\left(\left(x + x\right) + x\right) + x\right) + x
double f(double x) {
        double r77864 = x;
        double r77865 = r77864 + r77864;
        double r77866 = r77865 + r77864;
        double r77867 = r77866 + r77864;
        double r77868 = r77867 + r77864;
        return r77868;
}
↓
double f(double x) {
        double r77869 = x;
        double r77870 = r77869 + r77869;
        double r77871 = r77870 + r77869;
        double r77872 = r77871 + r77869;
        double r77873 = r77872 + r77869;
        return r77873;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0

    \[\left(\left(\left(x + x\right) + x\right) + x\right) + x\]

  2. Final simplification0

    \[\leadsto \left(\left(\left(x + x\right) + x\right) + x\right) + x\]

Reproduce

herbie shell --seed 2019198 +o rules:numerics
(FPCore (x)
  :name "Main:i from "
  (+ (+ (+ (+ x x) x) x) x))