Average Error: 31.8 → 31.8
Time: 692.0ms
Precision: binary64
\[\sqrt{vect0 \cdot vect0 + vect1 \cdot vect1}\]
↓
\[\sqrt{vect0 \cdot vect0 + vect1 \cdot vect1}\]
\sqrt{vect0 \cdot vect0 + vect1 \cdot vect1}
↓
\sqrt{vect0 \cdot vect0 + vect1 \cdot vect1}
double code(double vect0, double vect1) {
	return ((double) sqrt(((double) (((double) (vect0 * vect0)) + ((double) (vect1 * vect1))))));
}
↓
double code(double vect0, double vect1) {
	return ((double) sqrt(((double) (((double) (vect0 * vect0)) + ((double) (vect1 * vect1))))));
}

Error

Bits error versus vect0

Bits error versus vect1

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 31.8

    \[\sqrt{vect0 \cdot vect0 + vect1 \cdot vect1}\]

  2. Final simplification31.8

    \[\leadsto \sqrt{vect0 \cdot vect0 + vect1 \cdot vect1}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (vect0 vect1)
  :name "(sqrt (+ (* vect0 vect0) (* vect1 vect1)))"
  :precision binary64
  (sqrt (+ (* vect0 vect0) (* vect1 vect1))))