Average Error: 0.2 → 0.2
Time: 3.2s
Precision: binary64
\[\frac{cw}{cv} + \sqrt{\frac{2 \cdot \log tv}{cv}}\]
↓
\[\frac{cw}{cv} + \sqrt{\frac{2 \cdot \log tv}{cv}}\]
\frac{cw}{cv} + \sqrt{\frac{2 \cdot \log tv}{cv}}
↓
\frac{cw}{cv} + \sqrt{\frac{2 \cdot \log tv}{cv}}
double code(double cw, double cv, double tv) {
	return ((double) (((double) (cw / cv)) + ((double) sqrt(((double) (((double) (2.0 * ((double) log(tv)))) / cv))))));
}
↓
double code(double cw, double cv, double tv) {
	return ((double) (((double) (cw / cv)) + ((double) sqrt(((double) (((double) (2.0 * ((double) log(tv)))) / cv))))));
}

Error

Bits error versus cw

Bits error versus cv

Bits error versus tv

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.2

    \[\frac{cw}{cv} + \sqrt{\frac{2 \cdot \log tv}{cv}}\]

  2. Final simplification0.2

    \[\leadsto \frac{cw}{cv} + \sqrt{\frac{2 \cdot \log tv}{cv}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (cw cv tv)
  :name "(+ (/ cw cv) (sqrt (/ (* 2.0 (log tv)) cv)))"
  :precision binary64
  (+ (/ cw cv) (sqrt (/ (* 2.0 (log tv)) cv))))