Average Error: 42.9 → 31.4
Time: 26.8s
Precision: 64
Internal Precision: 128
\[100 \cdot \frac{{\left(1 + \frac{i}{n}\right)}^{n} - 1}{\frac{i}{n}}\]
\[\begin{array}{l} \mathbf{if}\;n \le -0.49724335821818005 \lor \neg \left(n \le 8.31291788103925 \cdot 10^{-125}\right):\\ \;\;\;\;100 \cdot \frac{\left(\frac{1}{6} \cdot i + \frac{1}{2}\right) \cdot \left(i \cdot i\right) + i}{\frac{i}{n}}\\ \mathbf{else}:\\ \;\;\;\;0\\ \end{array}\]

Error

Bits error versus i

Bits error versus n

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original42.9
Target41.9
Herbie31.4
\[100 \cdot \frac{e^{n \cdot \begin{array}{l} \mathbf{if}\;1 + \frac{i}{n} = 1:\\ \;\;\;\;\frac{i}{n}\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{i}{n} \cdot \log \left(1 + \frac{i}{n}\right)}{\left(\frac{i}{n} + 1\right) - 1}\\ \end{array}} - 1}{\frac{i}{n}}\]

Derivation

  1. Split input into 2 regimes
  2. if n < -0.49724335821818005 or 8.31291788103925e-125 < n

    1. Initial program 52.1

      \[100 \cdot \frac{{\left(1 + \frac{i}{n}\right)}^{n} - 1}{\frac{i}{n}}\]
    2. Taylor expanded around 0 38.0

      \[\leadsto 100 \cdot \frac{\color{blue}{i + \left(\frac{1}{2} \cdot {i}^{2} + \frac{1}{6} \cdot {i}^{3}\right)}}{\frac{i}{n}}\]
    3. Simplified38.0

      \[\leadsto 100 \cdot \frac{\color{blue}{i + \left(i \cdot i\right) \cdot \left(\frac{1}{6} \cdot i + \frac{1}{2}\right)}}{\frac{i}{n}}\]

    if -0.49724335821818005 < n < 8.31291788103925e-125

    1. Initial program 25.9

      \[100 \cdot \frac{{\left(1 + \frac{i}{n}\right)}^{n} - 1}{\frac{i}{n}}\]
    2. Taylor expanded around 0 19.2

      \[\leadsto \color{blue}{0}\]
  3. Recombined 2 regimes into one program.
  4. Final simplification31.4

    \[\leadsto \begin{array}{l} \mathbf{if}\;n \le -0.49724335821818005 \lor \neg \left(n \le 8.31291788103925 \cdot 10^{-125}\right):\\ \;\;\;\;100 \cdot \frac{\left(\frac{1}{6} \cdot i + \frac{1}{2}\right) \cdot \left(i \cdot i\right) + i}{\frac{i}{n}}\\ \mathbf{else}:\\ \;\;\;\;0\\ \end{array}\]

Reproduce

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))))

Details

Time bar (total: 25.6s)Debug log

sample267.0ms

Algorithm
intervals

simplify251.0ms

Counts
1 → 1
Calls

1 calls. Slowest were:

251.0ms
(* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.1b

localize21.0ms

Local error

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)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Counts
4 → 105
Calls

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)

series700.0ms

Counts
4 → 12
Calls

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)

simplify3.1s

Counts
97 → 117
Calls

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))

prune944.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 17.0b

localize29.0ms

Local error

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)

rewrite5.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

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)

series440.0ms

Counts
4 → 12
Calls

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)

simplify1.2s

Counts
32 → 64
Calls

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))

prune733.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 17.0b

localize32.0ms

Local error

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)

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

4 calls. Slowest were:

2.0ms
(pow (+ 1 (/ i n)) n)
1.0ms
(cbrt (/ i n))
1.0ms
(cbrt (/ i n))

series368.0ms

Counts
4 → 12
Calls

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))

simplify1.1s

Counts
32 → 64
Calls

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)))))

prune715.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 17.0b

localize21.0ms

Local error

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))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 84
Calls

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)

series551.0ms

Counts
4 → 12
Calls

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)

simplify2.5s

Counts
80 → 96
Calls

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))

prune1.2s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 17.0b

regimes191.0ms

Accuracy

47.8% (12.6b remaining)

Error of 31.4b against oracle of 18.8b and baseline of 42.9b

bsearch184.0ms

end0.0ms

sample10.9s

Algorithm
intervals