Average Error: 0.0 → 0.0
Time: 3.3s
Precision: 64
\[\frac{x - 10^{7}}{2} + 10^{7}\]
\[\frac{x - 10^{7}}{2} + 10^{7}\]
\frac{x - 10^{7}}{2} + 10^{7}
\frac{x - 10^{7}}{2} + 10^{7}
double f(double x) {
        double r2669953 = x;
        double r2669954 = 10000000.0;
        double r2669955 = r2669953 - r2669954;
        double r2669956 = 2.0;
        double r2669957 = r2669955 / r2669956;
        double r2669958 = r2669957 + r2669954;
        return r2669958;
}

double f(double x) {
        double r2669959 = x;
        double r2669960 = 10000000.0;
        double r2669961 = r2669959 - r2669960;
        double r2669962 = 2.0;
        double r2669963 = r2669961 / r2669962;
        double r2669964 = r2669963 + r2669960;
        return r2669964;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\frac{x - 10^{7}}{2} + 10^{7}\]
  2. Final simplification0.0

    \[\leadsto \frac{x - 10^{7}}{2} + 10^{7}\]

Reproduce

herbie shell --seed 1 
(FPCore (x)
  :name "(x-10000000) /2 + 10000000"
  :precision binary64
  (+ (/ (- x 1e7) 2) 1e7))