Average Error: 28.4 → 28.4
Time: 2.1s
Precision: binary64
\[\frac{\left({d}^{2} + {RA}^{2}\right) - {RB}^{2}}{2 \cdot d}\]
↓
\[\frac{\left({d}^{2} + {RA}^{2}\right) - {RB}^{2}}{2 \cdot d}\]
\frac{\left({d}^{2} + {RA}^{2}\right) - {RB}^{2}}{2 \cdot d}
↓
\frac{\left({d}^{2} + {RA}^{2}\right) - {RB}^{2}}{2 \cdot d}
double code(double d, double RA, double RB) {
	return ((double) (((double) (((double) (((double) pow(d, 2.0)) + ((double) pow(RA, 2.0)))) - ((double) pow(RB, 2.0)))) / ((double) (2.0 * d))));
}
↓
double code(double d, double RA, double RB) {
	return ((double) (((double) (((double) (((double) pow(d, 2.0)) + ((double) pow(RA, 2.0)))) - ((double) pow(RB, 2.0)))) / ((double) (2.0 * d))));
}

Error

Bits error versus d

Bits error versus RA

Bits error versus RB

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 28.4

    \[\frac{\left({d}^{2} + {RA}^{2}\right) - {RB}^{2}}{2 \cdot d}\]

  2. Final simplification28.4

    \[\leadsto \frac{\left({d}^{2} + {RA}^{2}\right) - {RB}^{2}}{2 \cdot d}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (d RA RB)
  :name "(/ (- (+ (pow d 2) (pow RA 2)) (pow RB 2)) (* 2 d))"
  :precision binary64
  (/ (- (+ (pow d 2.0) (pow RA 2.0)) (pow RB 2.0)) (* 2.0 d)))