double code(double x, double y) {
return ((double) (((double) log(((double) (1.0 + ((double) exp(x)))))) - ((double) (x * y))));
}
double code(double x, double y) {
return ((double) (((double) cbrt(((double) pow(((double) log(((double) (1.0 + ((double) exp(x)))))), 3.0)))) - ((double) (x * y))));
}




Bits error versus x




Bits error versus y
Results
| Original | 0.5 |
|---|---|
| Target | 0.1 |
| Herbie | 0.5 |
Initial program 0.5
rmApplied add-cbrt-cube0.5
Simplified0.5
Final simplification0.5
herbie shell --seed 2020191
(FPCore (x y)
:name "Logistic regression 2"
:precision binary64
:herbie-target
(if (<= x 0.0) (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp (neg x)))) (* (neg x) (- 1.0 y))))
(- (log (+ 1.0 (exp x))) (* x y)))