Average Error: 44.1 → 44.1
Time: 9.3s
Precision: binary64
\[1 - \frac{\log \left(1 - \frac{y0 \cdot \left(1 - {\left(\frac{h0 - 1}{h}\right)}^{n0}\right)}{y1}\right)}{\log \left(\frac{h1 - 1}{h1}\right)}\]
↓
\[1 - \frac{\log \left(1 - \frac{y0 \cdot \left(1 - {\left(\frac{h0 - 1}{h}\right)}^{n0}\right)}{y1}\right)}{\log \left(\frac{h1 - 1}{h1}\right)}\]
1 - \frac{\log \left(1 - \frac{y0 \cdot \left(1 - {\left(\frac{h0 - 1}{h}\right)}^{n0}\right)}{y1}\right)}{\log \left(\frac{h1 - 1}{h1}\right)}
↓
1 - \frac{\log \left(1 - \frac{y0 \cdot \left(1 - {\left(\frac{h0 - 1}{h}\right)}^{n0}\right)}{y1}\right)}{\log \left(\frac{h1 - 1}{h1}\right)}
double code(double y0, double h0, double h, double n0, double y1, double h1) {
	return ((double) (1.0 - ((double) (((double) log(((double) (1.0 - ((double) (((double) (y0 * ((double) (1.0 - ((double) pow(((double) (((double) (h0 - 1.0)) / h)), n0)))))) / y1)))))) / ((double) log(((double) (((double) (h1 - 1.0)) / h1))))))));
}
↓
double code(double y0, double h0, double h, double n0, double y1, double h1) {
	return ((double) (1.0 - ((double) (((double) log(((double) (1.0 - ((double) (((double) (y0 * ((double) (1.0 - ((double) pow(((double) (((double) (h0 - 1.0)) / h)), n0)))))) / y1)))))) / ((double) log(((double) (((double) (h1 - 1.0)) / h1))))))));
}

Error

Bits error versus y0

Bits error versus h0

Bits error versus h

Bits error versus n0

Bits error versus y1

Bits error versus h1

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 44.1

    \[1 - \frac{\log \left(1 - \frac{y0 \cdot \left(1 - {\left(\frac{h0 - 1}{h}\right)}^{n0}\right)}{y1}\right)}{\log \left(\frac{h1 - 1}{h1}\right)}\]

  2. Final simplification44.1

    \[\leadsto 1 - \frac{\log \left(1 - \frac{y0 \cdot \left(1 - {\left(\frac{h0 - 1}{h}\right)}^{n0}\right)}{y1}\right)}{\log \left(\frac{h1 - 1}{h1}\right)}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (y0 h0 h n0 y1 h1)
  :name "(- 1 (/ (log (- 1 (/ (* y0 (- 1 (pow (/ (- h0 1) h) n0))) y1))) (log (/ (- h1 1) h1))))"
  :precision binary64
  (- 1.0 (/ (log (- 1.0 (/ (* y0 (- 1.0 (pow (/ (- h0 1.0) h) n0))) y1))) (log (/ (- h1 1.0) h1)))))