



Bits error versus i




Bits error versus n
Results
| Original | 42.9 |
|---|---|
| Target | 41.9 |
| Herbie | 31.4 |
if n < -0.49724335821818005 or 8.31291788103925e-125 < n Initial program 52.1
Taylor expanded around 0 38.0
Simplified38.0
if -0.49724335821818005 < n < 8.31291788103925e-125Initial program 25.9
Taylor expanded around 0 19.2
Final simplification31.4
herbie shell --seed 2019008
(FPCore (i n)
:name "Compound Interest"
:herbie-target
(* 100 (/ (- (exp (* n (if (== (+ 1 (/ i n)) 1) (/ i n) (/ (* (/ i n) (log (+ 1 (/ i n)))) (- (+ (/ i n) 1) 1))))) 1) (/ i n)))
(* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))))
Time bar (total: 25.6s)Debug log
1 calls. Slowest were:
| 251.0ms | (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 40.1b
Found 4 expressions with local error:
| 10.3b | (pow (+ 1 (/ i n)) n) |
| 8.9b | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 0.8b | (- (pow (+ 1 (/ i n)) n) 1) |
| 0.0b | (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) |
4 calls. Slowest were:
| 24.0ms | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 18.0ms | (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) |
| 15.0ms | (- (pow (+ 1 (/ i n)) n) 1) |
4 calls. Slowest were:
| 224.0ms | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 202.0ms | (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) |
| 139.0ms | (pow (+ 1 (/ i n)) n) |
| 134.0ms | (- (pow (+ 1 (/ i n)) n) 1) |
97 calls. Slowest were:
| 295.0ms | (/ (* (* (- (pow (+ 1 (/ i n)) n) 1) (- (pow (+ 1 (/ i n)) n) 1)) (- (pow (+ 1 (/ i n)) n) 1)) (* (* (/ i n) (/ i n)) (/ i n))) |
| 268.0ms | (/ (* (- (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) 1) n) i) |
| 217.0ms | (* 100 (/ (* n (- (exp (* n (- (log (/ -1 n)) (log (/ -1 i))))) 1)) i)) |
9 alts after pruning (9 fresh and 0 done)
Merged error: 17.0b
Found 4 expressions with local error:
| 10.3b | (pow (+ 1 (/ i n)) n) |
| 10.3b | (pow (+ 1 (/ i n)) n) |
| 10.3b | (pow (+ 1 (/ i n)) n) |
| 10.3b | (pow (+ 1 (/ i n)) n) |
4 calls. Slowest were:
| 1.0ms | (pow (+ 1 (/ i n)) n) |
| 1.0ms | (pow (+ 1 (/ i n)) n) |
| 1.0ms | (pow (+ 1 (/ i n)) n) |
4 calls. Slowest were:
| 130.0ms | (pow (+ 1 (/ i n)) n) |
| 113.0ms | (pow (+ 1 (/ i n)) n) |
| 99.0ms | (pow (+ 1 (/ i n)) n) |
| 98.0ms | (pow (+ 1 (/ i n)) n) |
32 calls. Slowest were:
| 197.0ms | (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) |
| 193.0ms | (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) |
| 184.0ms | (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) |
9 alts after pruning (8 fresh and 1 done)
Merged error: 17.0b
Found 4 expressions with local error:
| 18.5b | (cbrt (/ i n)) |
| 18.5b | (cbrt (/ i n)) |
| 18.5b | (cbrt (/ i n)) |
| 10.3b | (pow (+ 1 (/ i n)) n) |
4 calls. Slowest were:
| 2.0ms | (pow (+ 1 (/ i n)) n) |
| 1.0ms | (cbrt (/ i n)) |
| 1.0ms | (cbrt (/ i n)) |
4 calls. Slowest were:
| 135.0ms | (pow (+ 1 (/ i n)) n) |
| 106.0ms | (cbrt (/ i n)) |
| 65.0ms | (cbrt (/ i n)) |
| 62.0ms | (cbrt (/ i n)) |
32 calls. Slowest were:
| 149.0ms | (exp (* 1/3 (- (log (/ 1 n)) (log (/ 1 i))))) |
| 145.0ms | (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) |
| 119.0ms | (exp (* 1/3 (- (log (/ 1 n)) (log (/ 1 i))))) |
10 alts after pruning (8 fresh and 2 done)
Merged error: 17.0b
Found 4 expressions with local error:
| 10.3b | (pow (+ 1 (/ i n)) n) |
| 10.3b | (pow (+ 1 (/ i n)) n) |
| 10.3b | (pow (+ 1 (/ i n)) n) |
| 8.9b | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
4 calls. Slowest were:
| 32.0ms | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 2.0ms | (pow (+ 1 (/ i n)) n) |
| 2.0ms | (pow (+ 1 (/ i n)) n) |
4 calls. Slowest were:
| 186.0ms | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 136.0ms | (pow (+ 1 (/ i n)) n) |
| 121.0ms | (pow (+ 1 (/ i n)) n) |
| 107.0ms | (pow (+ 1 (/ i n)) n) |
80 calls. Slowest were:
| 290.0ms | (/ (* (* (- (pow (+ 1 (/ i n)) n) 1) (- (pow (+ 1 (/ i n)) n) 1)) (- (pow (+ 1 (/ i n)) n) 1)) (* (* (/ i n) (/ i n)) (/ i n))) |
| 261.0ms | (/ (* (- (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) 1) n) i) |
| 190.0ms | (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) |
10 alts after pruning (8 fresh and 2 done)
Merged error: 17.0b
47.8% (12.6b remaining)
Error of 31.4b against oracle of 18.8b and baseline of 42.9b