Details

analyze603.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
3.1%	90.5%	6.3%	6
4.7%	85.9%	9.5%	7
21.1%	64%	14.9%	8
23.4%	58.9%	17.7%	9
27.7%	51.3%	21%	10
28.9%	48.5%	22.6%	11
31.1%	44.4%	24.5%	12
31.7%	42.9%	25.4%	13
32.7%	41%	26.3%	14

sample65.0ms

Algorithm

intervals

Results

24.0ms	49×	body	1280	valid
10.0ms	33×	body	640	valid
7.0ms	137×	body	80	valid
7.0ms	25×	body	320	valid
2.0ms	7×	body	640	invalid
2.0ms	12×	body	160	valid
1.0ms	3×	body	1280	invalid
0.0ms	2×	body	320	invalid
0.0ms	3×	body	160	invalid
0.0ms	8×	body	80	nan
0.0ms	4×	body	80	invalid

simplify39.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4924	9
1	4924	9

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 8.7b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (pow (/ x (+ x y)) x) x)
0.0b	(/ x (+ x y))
4.7b	(pow (/ x (+ x y)) x)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
118×	`*-un-lft-identity`
90×	`unpow-prod-down`
80×	`add-sqr-sqrt` `add-cube-cbrt`
25×	`associate-/l*`
19×	`distribute-lft-out`
16×	`add-exp-log`
12×	`associate-/r/`
7×	`div-exp` `associate-/r*` `add-cbrt-cube` `div-inv`
6×	`flip3-+` `flip-+`
5×	`sqr-pow`
4×	`pow1` `pow-exp`
3×	`pow-unpow` `add-log-exp`
2×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `clear-num`
1×	`pow-pow`

Counts

3 → 172

Calls

3 calls:

11.0ms	(/ (pow (/ x (+ x y)) x) x)
5.0ms	(/ x (+ x y))
7.0ms	(pow (/ x (+ x y)) x)

series51.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(/ (pow (/ x (+ x y)) x) x)
8.0ms	(/ x (+ x y))
20.0ms	(pow (/ x (+ x y)) x)

simplify75.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4970	2849
1	4970	2849

prune210.0ms

Filtered

134 candidates to 181 candidates (-35.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	174	7	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	175	7	182

Merged error: 0.9b

Counts

182 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (sqrt (/ x (+ x y))) x)
0.3b	(pow (sqrt (/ x (+ x y))) x)
4.4b	(sqrt (/ x (+ x y)))
4.4b	(sqrt (/ x (+ x y)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

72×	`sqrt-prod`
64×	`*-un-lft-identity`
50×	`times-frac`
46×	`add-sqr-sqrt`
42×	`unpow-prod-down`
40×	`add-cube-cbrt`
12×	`distribute-lft-out`
10×	`pow1`
8×	`associate-/r/`
6×	`add-exp-log` `pow-unpow` `pow-pow`
4×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `div-inv` `add-log-exp`
2×	`pow-to-exp` `sqrt-div` `pow-exp` `sqrt-pow2` `sqr-pow`

Counts

4 → 136

Calls

4 calls:

8.0ms	(pow (sqrt (/ x (+ x y))) x)
8.0ms	(pow (sqrt (/ x (+ x y))) x)
6.0ms	(sqrt (/ x (+ x y)))
6.0ms	(sqrt (/ x (+ x y)))

series94.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(pow (sqrt (/ x (+ x y))) x)
40.0ms	(pow (sqrt (/ x (+ x y))) x)
9.0ms	(sqrt (/ x (+ x y)))
9.0ms	(sqrt (/ x (+ x y)))

simplify54.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4989	2408
1	4989	2408

prune201.0ms

Filtered

108 candidates to 148 candidates (-37.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	147	8	155

Merged error: 0.9b

Counts

155 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
4.7b	(pow (/ x (+ x y)) x)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
18×	`unpow-prod-down`
16×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`times-frac`
9×	`cbrt-prod`
7×	`add-exp-log`
5×	`pow1`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `pow1/3` `distribute-lft-out`
2×	`pow-exp` `associate-/r/`
1×	`pow-to-exp` `pow-pow` `flip3-+` `div-exp` `flip-+` `div-inv` `sqr-pow`

Counts

4 → 66

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
7.0ms	(pow (/ x (+ x y)) x)

series98.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt x)
27.0ms	(cbrt x)
25.0ms	(cbrt x)
20.0ms	(pow (/ x (+ x y)) x)

simplify85.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4926	720
1	4926	720

prune110.0ms

Filtered

56 candidates to 78 candidates (-39.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	76	2	78
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	77	9	86

Merged error: 0.9b

Counts

86 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
4.7b	(pow (/ x (+ x y)) x)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
18×	`unpow-prod-down`
16×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`times-frac`
9×	`cbrt-prod`
7×	`add-exp-log`
5×	`pow1`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `pow1/3` `distribute-lft-out`
2×	`pow-exp` `associate-/r/`
1×	`pow-to-exp` `pow-pow` `flip3-+` `div-exp` `flip-+` `div-inv` `sqr-pow`

Counts

4 → 66

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
7.0ms	(pow (/ x (+ x y)) x)

series97.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt x)
25.0ms	(cbrt x)
27.0ms	(cbrt x)
20.0ms	(pow (/ x (+ x y)) x)

simplify85.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4926	720
1	4926	720

prune86.0ms

Filtered

56 candidates to 78 candidates (-39.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	77	10	87

Merged error: 0.9b

Counts

87 → 10

regimes178.0ms

Accuracy

45.5% (5.6b remaining)

Error of 6.2b against oracle of 0.6b and baseline of 10.8b

bsearch340.0ms

Steps

Iters	Range		Point
6	4.254985068661786e+61	4.1070238589347324e+62	7.261062515320484e+61
10	-2.619917635176893e+71	-1.27607925618671e+60	-3.573704921241456e+60

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	100
1	47	100

end0.0ms

analyze599.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
3.1%	90.5%	6.3%	6
4.7%	85.9%	9.5%	7
21.1%	64%	14.9%	8
23.4%	58.9%	17.7%	9
27.7%	51.3%	21%	10
28.9%	48.5%	22.6%	11
31.1%	44.4%	24.5%	12
31.7%	42.9%	25.4%	13
32.7%	41%	26.3%	14

sample2.1s

Algorithm

intervals

Results

908.0ms	1424×	body	1280	valid
373.0ms	1221×	body	640	valid
242.0ms	4370×	body	80	valid
132.0ms	637×	body	320	valid
64.0ms	222×	body	640	invalid
47.0ms	105×	body	1280	invalid
44.0ms	348×	body	160	valid
36.0ms	188×	body	320	invalid
12.0ms	101×	body	160	invalid
9.0ms	166×	body	80	invalid
7.0ms	174×	body	80	nan

Details

analyze603.0ms

sample65.0ms

simplify39.0ms

prune7.0ms

localize6.0ms

rewrite33.0ms

series51.0ms

simplify75.0ms

prune210.0ms

localize9.0ms

rewrite33.0ms

series94.0ms

simplify54.0ms

prune201.0ms

localize11.0ms

rewrite13.0ms

series98.0ms

simplify85.0ms

prune110.0ms

localize15.0ms

rewrite13.0ms

series97.0ms

simplify85.0ms

prune86.0ms

regimes178.0ms

bsearch340.0ms

simplify2.0ms

end0.0ms

analyze599.0ms

sample2.1s

Profiling