Details

sample207.0ms

Algorithm

intervals

Results

82.0ms	98×	body	1280	valid
62.0ms	30×	body	2560	valid
22.0ms	54×	body	640	valid
10.0ms	37×	body	320	valid
5.0ms	67×	body	80	valid
4.0ms	93×	body	80	nan
4.0ms	1×	body	5120	valid
2.0ms	17×	body	160	valid

simplify40.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

prune6.0ms

Filtered

1 candidates to 0 candidates (100.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: 47.6b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
1.0b	(- (pow (+ 1.0 (/ i n)) n) 1.0)
5.7b	(pow (+ 1.0 (/ i n)) n)
10.6b	(/ (- (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:

35.0ms	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
9.0ms	(- (pow (+ 1.0 (/ i n)) n) 1.0)
6.0ms	(pow (+ 1.0 (/ i n)) n)
17.0ms	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

series195.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
36.0ms	(- (pow (+ 1.0 (/ i n)) n) 1.0)
26.0ms	(pow (+ 1.0 (/ i n)) n)
64.0ms	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

simplify62.0ms

Algorithm

egg-herbie

Counts

293 → 293

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1226	3285
1	5002	3166

prune600.0ms

Filtered

293 candidates to 223 candidates (23.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	288	5	293
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	289	5	294

Merged error: 23.8b

Counts

294 → 5

localize17.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)))
8.4b	(* (pow i 2) (log 1.0))
18.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)))
19.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)))
8.0ms	(* (pow i 2) (log 1.0))
14.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ i n))

series66.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n)))
26.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)))
13.0ms	(* (pow i 2) (log 1.0))
20.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ i n))

simplify146.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 1 (24.0ms)

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

prune797.0ms

Filtered

198 candidates to 150 candidates (24.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	189	9	198
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	190	13	203

Merged error: 12.5b

Counts

203 → 13

localize17.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))
8.0b	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
8.4b	(* (pow i 2) (log 1.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

7.0ms	(+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) 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))
13.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))

series58.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n)))
22.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))
16.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
13.0ms	(* (pow i 2) (log 1.0))

simplify81.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	540	1516
1	2465	1293
2	5001	1289

prune311.0ms

Filtered

110 candidates to 72 candidates (34.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	110	13	123

Merged error: 12.5b

Counts

123 → 13

localize19.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))
8.0b	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
8.4b	(* (pow i 2) (log 1.0))

rewrite117.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:

50.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)))
17.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))

series121.0ms

Counts

4 → 12

Calls

4 calls:

25.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)))
36.0ms	(/ (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i) (/ 1 n))
27.0ms	(/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) i)
32.0ms	(* (pow i 2) (log 1.0))

simplify152.0ms

Algorithm

egg-herbie

Counts

504 → 504

Iterations

Useful iterations: 1 (43.0ms)

Iter	Nodes	Cost
0	2109	11868
1	5002	11180

prune2.8s

Filtered

504 candidates to 332 candidates (34.1%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	504	0	504
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	504	13	517

Merged error: 12.5b

Counts

517 → 13

regimes239.0ms

Accuracy

67.7% (5.9b remaining)

Error of 16.8b against oracle of 10.9b and baseline of 29.1b

bsearch215.0ms

Steps

Iters	Range		Point
8	6.824547957801931e+208	1.8034319236195458e+213	1.0924429004024771e+213
7	1.6467731241392944e-08	9.16590956953046e-07	9.057557641864674e-07
9	-3.3701171682469404	-9.98236031775492e-06	-0.005215702057500597

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	46
1	72	46

end0.0ms

sample6.4s

Algorithm

intervals

Results

2.4s	2863×	body	1280	valid
2.2s	995×	body	2560	valid
736.0ms	1772×	body	640	valid
227.0ms	899×	body	320	valid
182.0ms	2399×	body	80	valid
104.0ms	2211×	body	80	nan
72.0ms	448×	body	160	valid
26.0ms	6×	body	5120	valid

Details

sample207.0ms

simplify40.0ms

prune6.0ms

localize9.0ms

rewrite83.0ms

series195.0ms

simplify62.0ms

prune600.0ms

localize17.0ms

rewrite56.0ms

series66.0ms

simplify146.0ms

prune797.0ms

localize17.0ms

rewrite41.0ms

series58.0ms

simplify81.0ms

prune311.0ms

localize19.0ms

rewrite117.0ms

series121.0ms

simplify152.0ms

prune2.8s

regimes239.0ms

bsearch215.0ms

simplify2.0ms

end0.0ms

sample6.4s

Profiling