\frac{\log \left({p}^{a} + {p}^{b}\right)}{\log p}\frac{\log \left({p}^{a} + {p}^{b}\right)}{\log p}double code(double p, double a, double b) {
return ((double) (((double) log(((double) (((double) pow(p, a)) + ((double) pow(p, b)))))) / ((double) log(p))));
}
double code(double p, double a, double b) {
return ((double) (((double) log(((double) (((double) pow(p, a)) + ((double) pow(p, b)))))) / ((double) log(p))));
}



Bits error versus p



Bits error versus a



Bits error versus b
Results
Initial program 29.8
Final simplification29.8
herbie shell --seed 2020153
(FPCore (p a b)
:name "(/ (log (+ (pow p a) (pow p b))) (log p))"
:precision binary64
(/ (log (+ (pow p a) (pow p b))) (log p)))