Average Error: 26.6 → 26.6
Time: 1.5s
Precision: binary64
\[\frac{m1 - m2}{\sqrt{{s1}^{2} + {s2}^{2}}}\]
↓
\[\frac{m1 - m2}{\sqrt{{s1}^{2} + {s2}^{2}}}\]
\frac{m1 - m2}{\sqrt{{s1}^{2} + {s2}^{2}}}
↓
\frac{m1 - m2}{\sqrt{{s1}^{2} + {s2}^{2}}}
double code(double m1, double m2, double s1, double s2) {
	return ((double) (((double) (m1 - m2)) / ((double) sqrt(((double) (((double) pow(s1, 2.0)) + ((double) pow(s2, 2.0))))))));
}
↓
double code(double m1, double m2, double s1, double s2) {
	return ((double) (((double) (m1 - m2)) / ((double) sqrt(((double) (((double) pow(s1, 2.0)) + ((double) pow(s2, 2.0))))))));
}

Error

Bits error versus m1

Bits error versus m2

Bits error versus s1

Bits error versus s2

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 26.6

    \[\frac{m1 - m2}{\sqrt{{s1}^{2} + {s2}^{2}}}\]

  2. Final simplification26.6

    \[\leadsto \frac{m1 - m2}{\sqrt{{s1}^{2} + {s2}^{2}}}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (m1 m2 s1 s2)
  :name "(/ (- m1 m2) (sqrt (+ (pow s1 2) (pow s2 2))))"
  :precision binary64
  (/ (- m1 m2) (sqrt (+ (pow s1 2.0) (pow s2 2.0)))))