Average Error: 58.1 → 58.1
Time: 5.9s
Precision: binary64
\[\frac{\log \left({depth}^{out}\right)}{\log 2}\]
↓
\[\frac{\log \left({depth}^{out}\right)}{\log 2}\]
\frac{\log \left({depth}^{out}\right)}{\log 2}
↓
\frac{\log \left({depth}^{out}\right)}{\log 2}
double code(double depth, double out) {
	return ((double) (((double) log(((double) pow(depth, out)))) / ((double) log(2.0))));
}
↓
double code(double depth, double out) {
	return ((double) (((double) log(((double) pow(depth, out)))) / ((double) log(2.0))));
}

Error

Bits error versus depth

Bits error versus out

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 58.1

    \[\frac{\log \left({depth}^{out}\right)}{\log 2}\]

  2. Final simplification58.1

    \[\leadsto \frac{\log \left({depth}^{out}\right)}{\log 2}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (depth out)
  :name "(/ (log (pow depth out)) (log 2))"
  :precision binary64
  (/ (log (pow depth out)) (log 2.0)))