Average Error: 24.5 → 24.5
Time: 4.4s
Precision: binary64
\[{\left(x + y\right)}^{4} - {\left(\left(x + y\right) - 1\right)}^{4}\]
↓
\[{\left(x + y\right)}^{4} - {\left(\left(x + y\right) - 1\right)}^{4}\]
{\left(x + y\right)}^{4} - {\left(\left(x + y\right) - 1\right)}^{4}
↓
{\left(x + y\right)}^{4} - {\left(\left(x + y\right) - 1\right)}^{4}
double code(double x, double y) {
	return ((double) (((double) pow(((double) (x + y)), 4.0)) - ((double) pow(((double) (((double) (x + y)) - 1.0)), 4.0))));
}
↓
double code(double x, double y) {
	return ((double) (((double) pow(((double) (x + y)), 4.0)) - ((double) pow(((double) (((double) (x + y)) - 1.0)), 4.0))));
}

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 24.5

    \[{\left(x + y\right)}^{4} - {\left(\left(x + y\right) - 1\right)}^{4}\]

  2. Final simplification24.5

    \[\leadsto {\left(x + y\right)}^{4} - {\left(\left(x + y\right) - 1\right)}^{4}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x y)
  :name "(- (pow (+ x y) 4) (pow (- (+ x y) 1) 4))"
  :precision binary64
  (- (pow (+ x y) 4.0) (pow (- (+ x y) 1.0) 4.0)))