Average Error: 0.1 → 0.1
Time: 11.8s
Precision: 64
\[\left(1 - x\right) + y \cdot \sqrt{x}\]
↓
\[\left(1 - x\right) + y \cdot \sqrt{x}\]
\left(1 - x\right) + y \cdot \sqrt{x}
↓
\left(1 - x\right) + y \cdot \sqrt{x}
double f(double x, double y) {
        double r72693 = 1.0;
        double r72694 = x;
        double r72695 = r72693 - r72694;
        double r72696 = y;
        double r72697 = sqrt(r72694);
        double r72698 = r72696 * r72697;
        double r72699 = r72695 + r72698;
        return r72699;
}
↓
double f(double x, double y) {
        double r72700 = 1.0;
        double r72701 = x;
        double r72702 = r72700 - r72701;
        double r72703 = y;
        double r72704 = sqrt(r72701);
        double r72705 = r72703 * r72704;
        double r72706 = r72702 + r72705;
        return r72706;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(1 - x\right) + y \cdot \sqrt{x}\]

  2. Final simplification0.1

    \[\leadsto \left(1 - x\right) + y \cdot \sqrt{x}\]

Reproduce

herbie shell --seed 2019294 
(FPCore (x y)
  :name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, E"
  :precision binary64
  (+ (- 1 x) (* y (sqrt x))))