Average Error: 0.3 → 0.3
Time: 14.5s
Precision: 64
\[\sqrt{x} \cdot \sqrt{y}\]
\[\sqrt{x} \cdot \sqrt{y}\]
\sqrt{x} \cdot \sqrt{y}
\sqrt{x} \cdot \sqrt{y}
double f(double x, double y) {
        double r1242565 = x;
        double r1242566 = sqrt(r1242565);
        double r1242567 = y;
        double r1242568 = sqrt(r1242567);
        double r1242569 = r1242566 * r1242568;
        return r1242569;
}

double f(double x, double y) {
        double r1242570 = x;
        double r1242571 = sqrt(r1242570);
        double r1242572 = y;
        double r1242573 = sqrt(r1242572);
        double r1242574 = r1242571 * r1242573;
        return r1242574;
}

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.3

    \[\sqrt{x} \cdot \sqrt{y}\]
  2. Final simplification0.3

    \[\leadsto \sqrt{x} \cdot \sqrt{y}\]

Reproduce

herbie shell --seed 1 
(FPCore (x y)
  :name "sqrt(x)*sqrt(y)"
  :precision binary64
  (* (sqrt x) (sqrt y)))