Average Error: 15.9 → 15.9
Time: 1.0s
Precision: binary64
\[\frac{_kD \cdot \left(\left(2 \cdot \frac{a}{b}\right) \cdot \frac{a}{b}\right)}{1 + \frac{a}{b}}\]
↓
\[\frac{_kD \cdot \left(\left(2 \cdot \frac{a}{b}\right) \cdot \frac{a}{b}\right)}{1 + \frac{a}{b}}\]
\frac{_kD \cdot \left(\left(2 \cdot \frac{a}{b}\right) \cdot \frac{a}{b}\right)}{1 + \frac{a}{b}}
↓
\frac{_kD \cdot \left(\left(2 \cdot \frac{a}{b}\right) \cdot \frac{a}{b}\right)}{1 + \frac{a}{b}}
double code(double _kD, double a, double b) {
	return ((double) (((double) (_kD * ((double) (((double) (2.0 * ((double) (a / b)))) * ((double) (a / b)))))) / ((double) (1.0 + ((double) (a / b))))));
}
↓
double code(double _kD, double a, double b) {
	return ((double) (((double) (_kD * ((double) (((double) (2.0 * ((double) (a / b)))) * ((double) (a / b)))))) / ((double) (1.0 + ((double) (a / b))))));
}

Error

Bits error versus _kD

Bits error versus a

Bits error versus b

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 15.9

    \[\frac{_kD \cdot \left(\left(2 \cdot \frac{a}{b}\right) \cdot \frac{a}{b}\right)}{1 + \frac{a}{b}}\]

  2. Final simplification15.9

    \[\leadsto \frac{_kD \cdot \left(\left(2 \cdot \frac{a}{b}\right) \cdot \frac{a}{b}\right)}{1 + \frac{a}{b}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (_kD a b)
  :name "(/ (* _kD (* (* 2 (/ a b)) (/ a b))) (+ 1 (/ a b)))"
  :precision binary64
  (/ (* _kD (* (* 2.0 (/ a b)) (/ a b))) (+ 1.0 (/ a b))))