Average Error: 14.0 → 14.0
Time: 1.3s
Precision: binary64
\[\left(l_M + r_M\right) + \frac{\left(\left(d \cdot d\right) \cdot l_c\right) \cdot r_c}{l_c + r_c}\]
↓
\[\left(l_M + r_M\right) + \frac{\left(\left(d \cdot d\right) \cdot l_c\right) \cdot r_c}{l_c + r_c}\]
\left(l_M + r_M\right) + \frac{\left(\left(d \cdot d\right) \cdot l_c\right) \cdot r_c}{l_c + r_c}
↓
\left(l_M + r_M\right) + \frac{\left(\left(d \cdot d\right) \cdot l_c\right) \cdot r_c}{l_c + r_c}
double code(double l_M, double r_M, double d, double l_c, double r_c) {
	return ((double) (((double) (l_M + r_M)) + ((double) (((double) (((double) (((double) (d * d)) * l_c)) * r_c)) / ((double) (l_c + r_c))))));
}
↓
double code(double l_M, double r_M, double d, double l_c, double r_c) {
	return ((double) (((double) (l_M + r_M)) + ((double) (((double) (((double) (((double) (d * d)) * l_c)) * r_c)) / ((double) (l_c + r_c))))));
}

Error

Bits error versus l_M

Bits error versus r_M

Bits error versus d

Bits error versus l_c

Bits error versus r_c

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 14.0

    \[\left(l_M + r_M\right) + \frac{\left(\left(d \cdot d\right) \cdot l_c\right) \cdot r_c}{l_c + r_c}\]

  2. Final simplification14.0

    \[\leadsto \left(l_M + r_M\right) + \frac{\left(\left(d \cdot d\right) \cdot l_c\right) \cdot r_c}{l_c + r_c}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (l_M r_M d l_c r_c)
  :name "(+ (+ l_M r_M) (/ (* (* (* d d) l_c) r_c) (+ l_c r_c)))"
  :precision binary64
  (+ (+ l_M r_M) (/ (* (* (* d d) l_c) r_c) (+ l_c r_c))))