Average Error: 0.3 → 0.3
Time: 3.8s
Precision: binary64
\[\frac{w}{n} + c \cdot \sqrt{\frac{\log m}{n}}\]
↓
\[\frac{w}{n} + c \cdot \sqrt{\frac{\log m}{n}}\]
\frac{w}{n} + c \cdot \sqrt{\frac{\log m}{n}}
↓
\frac{w}{n} + c \cdot \sqrt{\frac{\log m}{n}}
double code(double w, double n, double c, double m) {
	return ((double) (((double) (w / n)) + ((double) (c * ((double) sqrt(((double) (((double) log(m)) / n))))))));
}
↓
double code(double w, double n, double c, double m) {
	return ((double) (((double) (w / n)) + ((double) (c * ((double) sqrt(((double) (((double) log(m)) / n))))))));
}

Error

Bits error versus w

Bits error versus n

Bits error versus c

Bits error versus m

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.3

    \[\frac{w}{n} + c \cdot \sqrt{\frac{\log m}{n}}\]

  2. Final simplification0.3

    \[\leadsto \frac{w}{n} + c \cdot \sqrt{\frac{\log m}{n}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (w n c m)
  :name "(+ (/ w n) (* c (sqrt (/ (log m) n))))"
  :precision binary64
  (+ (/ w n) (* c (sqrt (/ (log m) n)))))