Details

sample222.0ms

Algorithm

intervals

Results

98.0ms	105×	body	1280	valid
69.0ms	32×	body	2560	valid
22.0ms	55×	body	640	valid
6.0ms	24×	body	320	valid
6.0ms	84×	body	80	valid
3.0ms	77×	body	80	nan
3.0ms	16×	body	160	valid

simplify43.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	25	7
1	59	7
2	141	7
3	346	7
4	1171	7
5	5001	7

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 50.2b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
1.8b	(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.1b	(pow (+ 1.0 (/ i n)) n)
12.2b	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

320×	`times-frac`
289×	`add-sqr-sqrt`
198×	`*-un-lft-identity`
140×	`add-cube-cbrt`
96×	`associate-r`
84×	`difference-of-squares`
32×	`unpow-prod-down`
29×	`sqr-pow`
28×	`distribute-lft-out--`
19×	`add-exp-log`
18×	`add-cbrt-cube`
17×	`div-inv`
13×	`associate-/r*`
7×	`pow1` `associate-/l*`
6×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`pow-unpow` `associate-l` `prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`pow-to-exp` `sub-neg` `pow-pow` `frac-2neg` `diff-log` `div-sub` `associate-r/` `pow-prod-down` `pow-exp` `clear-num` `-commutative` `distribute-lft-out`

Counts

4 → 281

Calls

4 calls:

34.0ms	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
9.0ms	(- (pow (+ 1.0 (/ i n)) n) 1.0)
7.0ms	(pow (+ 1.0 (/ i n)) n)
16.0ms	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

series1.2s

Counts

4 → 12

Calls

4 calls:

375.0ms	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
261.0ms	(- (pow (+ 1.0 (/ i n)) n) 1.0)
223.0ms	(pow (+ 1.0 (/ i n)) n)
359.0ms	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

simplify64.0ms

Algorithm

egg-herbie

Counts

293 → 293

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1226	3285
1	5002	3166

prune734.0ms

Filtered

293 candidates to 223 candidates (76.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	285	8	293
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	286	8	294

Merged error: 24.4b

Counts

294 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n)))
0.1b	(* 100.0 (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ i n)))
11.1b	(* (pow i 2) (log 1.0))
21.0b	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ i n))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

144×	`times-frac`
102×	`add-sqr-sqrt`
87×	`add-cube-cbrt` `*-un-lft-identity`
48×	`associate-r`
23×	`add-exp-log`
20×	`add-cbrt-cube`
13×	`associate-/r*`
11×	`associate-l`
9×	`div-inv` `add-log-exp`
7×	`pow1` `unswap-sqr`
6×	`cbrt-undiv` `log-prod` `div-exp` `prod-exp`
4×	`unpow-prod-down` `cbrt-unprod`
3×	`distribute-rgt-in` `distribute-lft-in` `sum-log` `associate-/l*`
2×	`associate-/r/` `*-commutative` `associate-/l/` `unpow2` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `associate-+r+` `flip3--` `frac-2neg` `flip3-+` `div-sub` `associate-*r/` `pow-prod-down` `pow-exp` `clear-num` `log-pow` `flip--` `flip-+`

Counts

4 → 186

Calls

4 calls:

7.0ms	(+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n)))
18.0ms	(* 100.0 (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ i n)))
6.0ms	(* (pow i 2) (log 1.0))
17.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ i n))

series589.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n)))
217.0ms	(* 100.0 (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ i n)))
141.0ms	(* (pow i 2) (log 1.0))
191.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ i n))

simplify148.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	929	3604
1	4818	3341
2	5001	3341

prune696.0ms

Filtered

198 candidates to 150 candidates (75.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	186	12	198
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	187	19	206

Merged error: 11.5b

Counts

206 → 19

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) n)
0.1b	(* 100.0 (* (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) n))
10.6b	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
11.1b	(* (pow i 2) (log 1.0))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt`
26×	`add-cube-cbrt` `*-un-lft-identity`
25×	`add-exp-log`
24×	`associate-l`
22×	`add-cbrt-cube`
19×	`times-frac`
12×	`pow1`
10×	`prod-exp`
8×	`associate-r` `cbrt-unprod`
6×	`log-prod` `unswap-sqr`
4×	`unpow-prod-down` `pow-prod-down` `add-log-exp`
3×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `associate-/r` `-commutative` `associate-/l*`
2×	`associate-*l/` `div-inv` `associate-/l/` `unpow2` `sqr-pow`
1×	`pow-to-exp` `flip3--` `frac-2neg` `div-sub` `associate-*r/` `pow-exp` `clear-num` `log-pow` `flip--`

Counts

4 → 117

Calls

4 calls:

11.0ms	(* (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) n)
12.0ms	(* 100.0 (* (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) n))
12.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
6.0ms	(* (pow i 2) (log 1.0))

series718.0ms

Counts

4 → 12

Calls

4 calls:

206.0ms	(* (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) n)
213.0ms	(* 100.0 (* (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) n))
147.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
152.0ms	(* (pow i 2) (log 1.0))

simplify80.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	529	1979
1	2435	1684
2	5001	1679

prune363.0ms

Filtered

129 candidates to 87 candidates (67.4%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	18	18
Picked	0	1	1
Done	0	0	0
Total	129	19	148

Merged error: 11.5b

Counts

148 → 19

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 100.0 (/ (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) (/ 1 n)))
0.2b	(/ (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) (/ 1 n))
10.6b	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
11.1b	(* (pow i 2) (log 1.0))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

846×	`times-frac`
428×	`add-sqr-sqrt`
399×	`*-un-lft-identity`
397×	`add-cube-cbrt`
178×	`associate-r`
65×	`add-exp-log`
57×	`div-inv`
38×	`add-cbrt-cube`
33×	`div-exp`
17×	`cbrt-undiv`
16×	`associate-/r` `associate-/l`
12×	`prod-exp`
11×	`associate-l` `unswap-sqr`
7×	`pow1`
6×	`log-prod` `cbrt-unprod`
4×	`unpow-prod-down` `rec-exp` `1-exp` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `div-sub` `associate-/l/`
2×	`frac-2neg` `clear-num` `associate-/r/` `*-commutative` `unpow2` `sqr-pow`
1×	`pow-to-exp` `flip3--` `associate-*r/` `pow-prod-down` `pow-exp` `log-pow` `flip--`

Counts

4 → 492

Calls

4 calls:

65.0ms	(* 100.0 (/ (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) (/ 1 n)))
20.0ms	(/ (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) (/ 1 n))
11.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
6.0ms	(* (pow i 2) (log 1.0))

series710.0ms

Counts

4 → 12

Calls

4 calls:

210.0ms	(* 100.0 (/ (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) (/ 1 n)))
204.0ms	(/ (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) (/ 1 n))
142.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
154.0ms	(* (pow i 2) (log 1.0))

simplify149.0ms

Algorithm

egg-herbie

Counts

504 → 504

Iterations

Useful iterations: 1 (41.0ms)

Iter	Nodes	Cost
0	2109	11868
1	5002	11180

prune1.6s

Filtered

504 candidates to 332 candidates (65.9%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	503	1	504
Fresh	1	16	17
Picked	0	1	1
Done	0	1	1
Total	504	19	523

Merged error: 11.5b

Counts

523 → 19

regimes324.0ms

Accuracy

67.7% (5.7b remaining)

Error of 16.7b against oracle of 11.0b and baseline of 28.8b

bsearch518.0ms

Steps

Iters	Range		Point
12	2456.611191262651	1.4680645341332158e+43	2489.6404634191963
10	-27645644507088.133	-0.06221852409423964	-0.6915434230202897

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	32
1	50	32

end0.0ms

sample6.1s

Algorithm

intervals

Results

2.5s	2890×	body	1280	valid
2.1s	975×	body	2560	valid
730.0ms	1800×	body	640	valid
219.0ms	889×	body	320	valid
175.0ms	2423×	body	80	valid
97.0ms	2308×	body	80	nan
65.0ms	436×	body	160	valid
14.0ms	4×	body	5120	valid

Details

sample222.0ms

simplify43.0ms

prune2.0ms

localize9.0ms

rewrite83.0ms

series1.2s

simplify64.0ms

prune734.0ms

localize15.0ms

rewrite56.0ms

series589.0ms

simplify148.0ms

prune696.0ms

localize15.0ms

rewrite45.0ms

series718.0ms

simplify80.0ms

prune363.0ms

localize22.0ms

rewrite133.0ms

series710.0ms

simplify149.0ms

prune1.6s

regimes324.0ms

bsearch518.0ms

simplify2.0ms

end0.0ms

sample6.1s

Profiling