Average Error: 0.1 → 0.1
Time: 12.9s
Precision: 64
\[\sqrt{dis} \cdot Dx + 0.1\]
\[Dx \cdot \sqrt{dis} + 0.1\]
\sqrt{dis} \cdot Dx + 0.1
Dx \cdot \sqrt{dis} + 0.1
double f(double dis, double Dx) {
        double r24747454 = dis;
        double r24747455 = sqrt(r24747454);
        double r24747456 = Dx;
        double r24747457 = r24747455 * r24747456;
        double r24747458 = 0.1;
        double r24747459 = r24747457 + r24747458;
        return r24747459;
}

double f(double dis, double Dx) {
        double r24747460 = Dx;
        double r24747461 = dis;
        double r24747462 = sqrt(r24747461);
        double r24747463 = r24747460 * r24747462;
        double r24747464 = 0.1;
        double r24747465 = r24747463 + r24747464;
        return r24747465;
}

Error

Bits error versus dis

Bits error versus Dx

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\sqrt{dis} \cdot Dx + 0.1\]
  2. Final simplification0.1

    \[\leadsto Dx \cdot \sqrt{dis} + 0.1\]

Reproduce

herbie shell --seed 1 
(FPCore (dis Dx)
  :name "sqrt(dis)*Dx+0.1"
  (+ (* (sqrt dis) Dx) 0.1))