Metrics for Compound Interest

analyze172.0ms (3.1%)

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.7s (85.6%)

Results

2.1s	1517×	body	2048	valid
1.4s	2340×	body	1024	valid
432.0ms	2138×	body	256	valid
341.0ms	1130×	body	512	valid
118.0ms	153×	body	1024	infinite
118.0ms	721×	body	256	infinite
72.0ms	202×	body	512	infinite
69.0ms	32×	body	4096	valid
44.0ms	470×	body	256	invalid
22.0ms	23×	body	2048	infinite

Bogosity

preprocess623.0ms (11.3%)

Algorithm

1×	egg-herbie

Rules

1090×	`div-sub`
980×	`fma-neg`
944×	`times-frac`
906×	`associate-r`
668×	`associate-/l*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	446
1	111	438
2	318	406
3	1214	394
4	6465	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 (+.f64 (*.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n)) -100) (/.f64 i n))
(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) (/.f64 i n))
(*.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 (+.f64 (*.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n)) -100) (/.f64 i n))
(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) (/.f64 i n))
(*.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 100 (/.f64 (+.f64 (pow.f64 (-.f64 1 (/.f64 i n)) n) -1) (/.f64 (neg.f64 i) n)))
(/.f64 (fma.f64 100 (pow.f64 (-.f64 1 (/.f64 i n)) n) -100) (/.f64 (neg.f64 i) n))
(/.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 (+.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -1) i) (neg.f64 n)))
(.f64 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -1) i) (.f64 (neg.f64 n) 100))
(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -100) (/.f64 i (neg.f64 n)))
(/.f64 (*.f64 (fma.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -100 100) n) 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 (+.f64 (pow.f64 (-.f64 1 (/.f64 i n)) n) -1) (/.f64 (neg.f64 i) n)) -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 (+.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -1) i) (neg.f64 n)))
(.f64 (.f64 -100 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i (neg.f64 n))) (neg.f64 n)) -1) 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 (/.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 n i)) i) -1) n) (.f64 i 100))
(*.f64 i (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 n i)) i) -100) n))

Compiler

Compiled 118 to 60 computations (49.2% saved)

Compound Interest

analyze172.0ms (3.1%)

sample4.7s (85.6%)

preprocess623.0ms (11.3%)

end0.0ms (0%)

Profiling