Average Error: 0.0 → 0.0
Time: 1.1s
Precision: 64
\[\frac{\sqrt{x + 7}}{2}\]
\[\frac{\sqrt{x + 7}}{2}\]
\frac{\sqrt{x + 7}}{2}
\frac{\sqrt{x + 7}}{2}
double f(double x) {
        double r1835008 = x;
        double r1835009 = 7.0;
        double r1835010 = r1835008 + r1835009;
        double r1835011 = sqrt(r1835010);
        double r1835012 = 2.0;
        double r1835013 = r1835011 / r1835012;
        return r1835013;
}

double f(double x) {
        double r1835014 = x;
        double r1835015 = 7.0;
        double r1835016 = r1835014 + r1835015;
        double r1835017 = sqrt(r1835016);
        double r1835018 = 2.0;
        double r1835019 = r1835017 / r1835018;
        return r1835019;
}

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{\sqrt{x + 7}}{2}\]
  2. Final simplification0.0

    \[\leadsto \frac{\sqrt{x + 7}}{2}\]

Reproduce

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