



Bits error versus i




Bits error versus n
Results
| Original | 42.2 |
|---|---|
| Target | 41.6 |
| Herbie | 21.2 |
if n < -2.2020953495892706e+82 or -1.1970289205805727e+28 < n < -660.4789951886963 or 3.8746181704323983e-106 < n Initial program 53.7
rmApplied div-sub53.6
Taylor expanded around 0 21.0
Simplified20.9
rmApplied add-cube-cbrt20.9
if -2.2020953495892706e+82 < n < -1.1970289205805727e+28Initial program 32.5
rmApplied div-sub32.5
rmApplied associate-/r/32.4
Applied associate-/r/32.5
Applied distribute-rgt-out--32.4
if -660.4789951886963 < n < 3.8746181704323983e-106Initial program 26.1
Taylor expanded around 0 20.0
Final simplification21.2
herbie shell --seed 2019007
(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: 26.6s)Debug log
1 calls. Slowest were:
| 216.0ms | (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 41.2b
Found 4 expressions with local error:
| 11.8b | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 7.3b | (pow (+ 1 (/ i n)) n) |
| 1.0b | (- (pow (+ 1 (/ i n)) n) 1) |
| 0.1b | (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) |
4 calls. Slowest were:
| 33.0ms | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 17.0ms | (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) |
| 16.0ms | (- (pow (+ 1 (/ i n)) n) 1) |
4 calls. Slowest were:
| 202.0ms | (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))) |
| 190.0ms | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
| 131.0ms | (- (pow (+ 1 (/ i n)) n) 1) |
| 120.0ms | (pow (+ 1 (/ i n)) n) |
97 calls. Slowest were:
| 317.0ms | (/ (* (- (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) 1) n) i) |
| 288.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))) |
| 228.0ms | (* 100 (/ (* n (- (exp (* n (- (log (/ -1 n)) (log (/ -1 i))))) 1)) i)) |
7 alts after pruning (7 fresh and 0 done)
Merged error: 17.9b
Found 4 expressions with local error:
| 13.3b | (- (/ (pow (+ 1 (/ i n)) n) (/ i n)) (/ 1 (/ i n))) |
| 7.3b | (pow (+ 1 (/ i n)) n) |
| 0.3b | (/ 1 (/ i n)) |
| 0.3b | (/ (pow (+ 1 (/ i n)) n) (/ i n)) |
4 calls. Slowest were:
| 12.0ms | (- (/ (pow (+ 1 (/ i n)) n) (/ i n)) (/ 1 (/ i n))) |
| 7.0ms | (/ (pow (+ 1 (/ i n)) n) (/ i n)) |
| 1.0ms | (pow (+ 1 (/ i n)) n) |
4 calls. Slowest were:
| 194.0ms | (/ (pow (+ 1 (/ i n)) n) (/ i n)) |
| 169.0ms | (- (/ (pow (+ 1 (/ i n)) n) (/ i n)) (/ 1 (/ i n))) |
| 133.0ms | (pow (+ 1 (/ i n)) n) |
| 10.0ms | (/ 1 (/ i n)) |
103 calls. Slowest were:
| 336.0ms | (/ (* (- (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) 1) n) i) |
| 211.0ms | (/ (* (exp (* (- (log (/ 1 n)) (log (/ 1 i))) n)) n) i) |
| 177.0ms | (/ (* n (- (exp (* n (- (log (/ -1 n)) (log (/ -1 i))))) 1)) i) |
12 alts after pruning (12 fresh and 0 done)
Merged error: 6.3b
Found 3 expressions with local error:
| 0.4b | (* 1/6 i) |
| 0.1b | (* (* i n) (+ (* 1/6 i) 1/2)) |
| 0.1b | (* 100 (+ n (* (* i n) (+ (* 1/6 i) 1/2)))) |
3 calls. Slowest were:
| 9.0ms | (* (* i n) (+ (* 1/6 i) 1/2)) |
| 1.0ms | (* 100 (+ n (* (* i n) (+ (* 1/6 i) 1/2)))) |
| 0.0ms | (* 1/6 i) |
3 calls. Slowest were:
| 46.0ms | (* 100 (+ n (* (* i n) (+ (* 1/6 i) 1/2)))) |
| 25.0ms | (* (* i n) (+ (* 1/6 i) 1/2)) |
| 7.0ms | (* 1/6 i) |
26 calls. Slowest were:
| 391.0ms | (- n (* (* i n) (+ (* 1/6 i) 1/2))) |
| 253.0ms | (* 100 (* (* i n) (+ (* 1/6 i) 1/2))) |
| 232.0ms | (* (* (* i n) (+ (* 1/6 i) 1/2)) 100) |
17 alts after pruning (17 fresh and 0 done)
Merged error: 6.3b
Found 4 expressions with local error:
| 19.1b | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
| 19.1b | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
| 19.1b | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
| 0.4b | (* 1/6 i) |
4 calls. Slowest were:
| 6.0ms | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
| 6.0ms | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
| 5.0ms | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
4 calls. Slowest were:
| 101.0ms | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
| 80.0ms | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
| 67.0ms | (cbrt (* (* i n) (+ (* 1/6 i) 1/2))) |
| 7.0ms | (* 1/6 i) |
21 calls. Slowest were:
| 529.0ms | (cbrt (* (* i n) (+ (pow (* 1/6 i) 3) (pow 1/2 3)))) |
| 299.0ms | (- (+ (exp (* 1/3 (- (log -1/6) (+ (* 2 (log (/ -1 i))) (log (/ -1 n)))))) (/ (exp (* 1/3 (- (log -1/6) (+ (* 2 (log (/ -1 i))) (log (/ -1 n)))))) i)) (/ (exp (* 1/3 (- (log -1/6) (+ (* 2 (log (/ -1 i))) (log (/ -1 n)))))) (pow i 2))) |
| 296.0ms | (- (+ (exp (* 1/3 (- (log -1/6) (+ (* 2 (log (/ -1 i))) (log (/ -1 n)))))) (/ (exp (* 1/3 (- (log -1/6) (+ (* 2 (log (/ -1 i))) (log (/ -1 n)))))) i)) (/ (exp (* 1/3 (- (log -1/6) (+ (* 2 (log (/ -1 i))) (log (/ -1 n)))))) (pow i 2))) |
17 alts after pruning (16 fresh and 1 done)
Merged error: 6.3b
48.5% (13.1b remaining)
Error of 21.2b against oracle of 8.1b and baseline of 33.5b