Average Error: 0.0 → 0.0
Time: 9.4s
Precision: 64
\[{\left(x + y\right)}^{2}\]
\[{\left(x + y\right)}^{2}\]
{\left(x + y\right)}^{2}
{\left(x + y\right)}^{2}
double f(double x, double y) {
        double r1158610 = x;
        double r1158611 = y;
        double r1158612 = r1158610 + r1158611;
        double r1158613 = 2.0;
        double r1158614 = pow(r1158612, r1158613);
        return r1158614;
}

double f(double x, double y) {
        double r1158615 = x;
        double r1158616 = y;
        double r1158617 = r1158615 + r1158616;
        double r1158618 = 2.0;
        double r1158619 = pow(r1158617, r1158618);
        return r1158619;
}

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

    \[{\left(x + y\right)}^{2}\]
  2. Final simplification0.0

    \[\leadsto {\left(x + y\right)}^{2}\]

Reproduce

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