Metrics for Compound Interest

analyze141.0ms (2.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
25%	25%	74.9%	0.1%	0%	0%	0%	6
40.3%	39%	57.8%	0.1%	0%	3.1%	0%	7
46.3%	44.5%	51.5%	0.1%	0%	3.9%	0%	8
61.6%	55%	34.3%	0.1%	0%	10.1%	0.4%	9
66.4%	58.7%	29.7%	0.1%	0%	10.7%	0.8%	10
76.6%	64.5%	19.7%	0.1%	0%	14.2%	1.5%	11
79.7%	66.6%	17%	0.1%	0%	14.6%	1.8%	12

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample4.1s (86.2%)

Results

1.8s	1529×	body	2048	valid
1.2s	2364×	body	1024	valid
298.0ms	2197×	body	256	valid
273.0ms	1075×	body	512	valid
243.0ms	701×	body	256	infinite
89.0ms	151×	body	1024	infinite
73.0ms	205×	body	512	infinite
41.0ms	21×	body	4096	valid
38.0ms	446×	body	256	invalid
13.0ms	13×	body	2048	infinite

Bogosity

preprocess522.0ms (10.9%)

Algorithm

1×	egg-herbie

Rules

559×	`associate-r`
424×	`associate-+r+`
364×	`associate-/l*`
342×	`associate-l`
334×	`times-frac`

Problems

151×	`(-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1)`
48×	`(pow.f64 (+.f64 1 (/.f64 i n)) n)`
32×	No Errors
25×	`(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	446
1	114	438
2	317	406
3	1199	394
4	6210	394

Stop Event

1×	node limit

Calls

Call 1

Inputs
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 (neg.f64 i) n)) n) 1) (/.f64 (neg.f64 i) n)))
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) 1) (/.f64 i (neg.f64 n))))
(neg.f64 (*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 (neg.f64 i) n)) n) 1) (/.f64 (neg.f64 i) n))))
(neg.f64 (*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) 1) (/.f64 i (neg.f64 n)))))
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 n i)) i) 1) (/.f64 n i)))

Outputs
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
(*.f64 100 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 i n)))
(.f64 100 (.f64 n (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) i)))
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
(*.f64 100 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 i n)))
(.f64 100 (.f64 n (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) i)))
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 (neg.f64 i) n)) n) 1) (/.f64 (neg.f64 i) n)))
(*.f64 100 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 (neg.f64 i) n)) n) -1) (/.f64 (neg.f64 i) n)))
(.f64 (/.f64 (+.f64 (pow.f64 (-.f64 1 (/.f64 i n)) n) -1) (neg.f64 i)) (.f64 n 100))
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (-.f64 1 (/.f64 i n)) n) -100) (neg.f64 i)))
(/.f64 (fma.f64 (pow.f64 (-.f64 1 (/.f64 i n)) n) -100 100) (/.f64 i n))
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) 1) (/.f64 i (neg.f64 n))))
(*.f64 100 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -1) (/.f64 i (neg.f64 n))))
(.f64 100 (.f64 (neg.f64 n) (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -1) i)))
(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -100) (/.f64 i (neg.f64 n)))
(*.f64 n (/.f64 (fma.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -100 100) i))
(neg.f64 (*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 (neg.f64 i) n)) n) 1) (/.f64 (neg.f64 i) n))))
(*.f64 -100 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 (neg.f64 i) n)) n) -1) (/.f64 (neg.f64 i) n)))
(.f64 (.f64 n (/.f64 (+.f64 (pow.f64 (-.f64 1 (/.f64 i n)) n) -1) (neg.f64 i))) -100)
(*.f64 100 (/.f64 (+.f64 (pow.f64 (-.f64 1 (/.f64 i n)) n) -1) (/.f64 i n)))
(*.f64 (/.f64 n i) (fma.f64 100 (pow.f64 (-.f64 1 (/.f64 i n)) n) -100))
(neg.f64 (*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) 1) (/.f64 i (neg.f64 n)))))
(*.f64 -100 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -1) (/.f64 i (neg.f64 n))))
(/.f64 (*.f64 -100 (+.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -1)) (/.f64 i (neg.f64 n)))
(*.f64 (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -100) i) n)
(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -100) i))
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 n i)) i) 1) (/.f64 n i)))
(*.f64 100 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 n i)) i) -1) (/.f64 n i)))
(.f64 100 (.f64 i (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 n i)) i) -1) n)))
(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 n i)) i) -100) (/.f64 n i))

Compiler

Compiled 59 to 30 computations (49.2% saved)

Compound Interest

analyze141.0ms (2.9%)

sample4.1s (86.2%)

preprocess522.0ms (10.9%)

end0.0ms (0%)

Profiling