Average Error: 0.0 → 0.0
Time: 6.7s
Precision: 64
\[{x}^{2} + {y}^{2}\]
\[{x}^{2} + {y}^{2}\]
{x}^{2} + {y}^{2}
{x}^{2} + {y}^{2}
double f(double x, double y) {
        double r13507801 = x;
        double r13507802 = 2.0;
        double r13507803 = pow(r13507801, r13507802);
        double r13507804 = y;
        double r13507805 = pow(r13507804, r13507802);
        double r13507806 = r13507803 + r13507805;
        return r13507806;
}

double f(double x, double y) {
        double r13507807 = x;
        double r13507808 = 2.0;
        double r13507809 = pow(r13507807, r13507808);
        double r13507810 = y;
        double r13507811 = pow(r13507810, r13507808);
        double r13507812 = r13507809 + r13507811;
        return r13507812;
}

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

    \[{x}^{2} + {y}^{2}\]
  2. Final simplification0.0

    \[\leadsto {x}^{2} + {y}^{2}\]

Reproduce

herbie shell --seed 1 
(FPCore (x y)
  :name "x^2+y^2"
  (+ (pow x 2.0) (pow y 2.0)))