Error
Bits error versus x
Bits error versus x
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 2019005 +o rules:numerics
(FPCore (x)
:name "neg log"
(- (log (- (/ 1 x) 1))))
Time bar (total: 6.5s)Debug log
1 calls. Slowest were:
| 11.0ms | (- (log (- (/ 1 x) 1))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (log (- (/ 1 x) 1)) |
| 0.0b | (- (/ 1 x) 1) |
2 calls. Slowest were:
| 8.0ms | (- (/ 1 x) 1) |
| 7.0ms | (log (- (/ 1 x) 1)) |
2 calls. Slowest were:
| 44.0ms | (log (- (/ 1 x) 1)) |
| 10.0ms | (- (/ 1 x) 1) |
17 calls. Slowest were:
| 219.0ms | (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) |
| 139.0ms | (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) |
| 137.0ms | (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0b
Found 2 expressions with local error:
| 5.6b | (expm1 (- (log x))) |
| 0.0b | (log (expm1 (- (log x)))) |
2 calls. Slowest were:
| 2.0ms | (log (expm1 (- (log x)))) |
| 1.0ms | (expm1 (- (log x))) |
2 calls. Slowest were:
| 331.0ms | (log (expm1 (- (log x)))) |
| 316.0ms | (expm1 (- (log x))) |
11 calls. Slowest were:
| 310.0ms | (log (- (exp (- (log (/ -1 x)) (log -1))) 1)) |
| 263.0ms | (- (exp (- (log (/ -1 x)) (log -1))) 1) |
| 4.0ms | (log (- (/ 1 x) 1)) |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0b
0% (0.0b remaining)
Error of 0.0b against oracle of 0.0b and baseline of 0.0b