Details

analyze551.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

sample60.0ms

Algorithm

intervals

Results

20.0ms	39×	body	1280	valid
12.0ms	41×	body	640	valid
8.0ms	147×	body	80	valid
3.0ms	19×	body	320	valid
2.0ms	8×	body	640	invalid
2.0ms	8×	body	320	invalid
1.0ms	3×	body	1280	invalid
1.0ms	10×	body	160	valid
1.0ms	6×	body	160	invalid
0.0ms	8×	body	80	invalid
0.0ms	3×	body	80	nan

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4985	9
1	4985	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: 11.6b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.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)

series44.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(/ (pow (/ x (+ x y)) x) x)
5.0ms	(/ x (+ x y))
18.0ms	(pow (/ x (+ x y)) x)

simplify67.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5011	2849

prune193.0ms

Filtered

134 candidates to 181 candidates (-35.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	175	6	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	176	6	182

Merged error: 0.7b

Counts

182 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.7b	(pow (/ (cbrt x) (cbrt (+ x y))) x)
1.7b	(pow (* (/ (cbrt x) (cbrt (+ x y))) (/ (cbrt x) (cbrt (+ x y)))) x)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

51×	`cbrt-prod`
49×	`unpow-prod-down`
47×	`*-un-lft-identity`
42×	`times-frac`
35×	`add-sqr-sqrt` `add-cube-cbrt`
20×	`add-exp-log`
13×	`pow1`
7×	`pow-pow` `pow-exp`
6×	`pow-unpow` `distribute-lft-out`
5×	`div-exp`
4×	`prod-exp` `add-cbrt-cube` `add-log-exp`
2×	`pow-to-exp` `cbrt-div` `pow1/3` `associate-/r/` `sqr-pow`
1×	`pow2` `flip3-+` `pow-plus` `pow-prod-down` `pow-sqr` `pow-prod-up` `flip-+` `div-inv`

Counts

4 → 109

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
11.0ms	(pow (/ (cbrt x) (cbrt (+ x y))) x)
18.0ms	(pow (* (/ (cbrt x) (cbrt (+ x y))) (/ (cbrt x) (cbrt (+ x y)))) x)

series108.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt x)
22.0ms	(cbrt x)
29.0ms	(pow (/ (cbrt x) (cbrt (+ x y))) x)
36.0ms	(pow (* (/ (cbrt x) (cbrt (+ x y))) (/ (cbrt x) (cbrt (+ x y)))) x)

simplify38.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5310	1999

prune161.0ms

Filtered

90 candidates to 121 candidates (-34.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	122	5	127

Merged error: 0.7b

Counts

127 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.7b	(pow (/ (cbrt x) (cbrt (+ x y))) x)
0.7b	(pow (/ (cbrt x) (cbrt (+ x y))) (* x 2))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

96×	`cbrt-prod` `unpow-prod-down`
85×	`*-un-lft-identity`
84×	`times-frac`
61×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`distribute-lft-out`
10×	`add-exp-log`
6×	`pow1`
4×	`pow-unpow` `cbrt-div` `pow-exp` `associate-/r/` `add-cbrt-cube` `add-log-exp`
2×	`pow-to-exp` `pow-pow` `flip3-+` `pow1/3` `div-exp` `flip-+` `div-inv` `sqr-pow`

Counts

4 → 146

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
11.0ms	(pow (/ (cbrt x) (cbrt (+ x y))) x)
14.0ms	(pow (/ (cbrt x) (cbrt (+ x y))) (* x 2))

series103.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt x)
25.0ms	(cbrt x)
27.0ms	(pow (/ (cbrt x) (cbrt (+ x y))) x)
28.0ms	(pow (/ (cbrt x) (cbrt (+ x y))) (* x 2))

simplify49.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5050	3075

prune224.0ms

Filtered

125 candidates to 158 candidates (-26.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	158	5	163

Merged error: 0.7b

Counts

163 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
117×	`*-un-lft-identity`
108×	`unpow-prod-down`
81×	`add-sqr-sqrt` `add-cube-cbrt`
70×	`cbrt-prod`
18×	`distribute-lft-out`
13×	`add-exp-log`
12×	`associate-/r/`
9×	`pow-unpow`
7×	`pow1` `div-inv`
6×	`flip3-+` `pow-exp` `flip-+` `sqr-pow`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-to-exp` `pow-pow` `div-exp`
1×	`cbrt-div` `pow1/3`

Counts

4 → 178

Calls

4 calls:

11.0ms	(cbrt (/ (pow (/ x (+ x y)) x) x))
7.0ms	(pow (/ x (+ x y)) x)
7.0ms	(pow (/ x (+ x y)) x)
9.0ms	(pow (/ x (+ x y)) x)

series99.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(cbrt (/ (pow (/ x (+ x y)) x) x))
21.0ms	(pow (/ x (+ x y)) x)
18.0ms	(pow (/ x (+ x y)) x)
18.0ms	(pow (/ x (+ x y)) x)

simplify75.0ms

Algorithm

egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4978	3840
1	4978	3840

prune221.0ms

Filtered

143 candidates to 190 candidates (-32.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	188	2	190
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	189	6	195

Merged error: 0.7b

Counts

195 → 6

regimes110.0ms

Accuracy

15.3% (4.3b remaining)

Error of 5.0b against oracle of 0.8b and baseline of 5.8b

bsearch87.0ms

Steps

Iters	Range		Point
10	7.605884936788264e+77	6.779688451669616e+90	1.2844427626513389e+85
9	7363998.602584862	3264761088519.8794	7440712.289104454

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	43
1	29	43

end0.0ms

sample1.8s

Algorithm

intervals

Results

705.0ms	1447×	body	1280	valid
360.0ms	1214×	body	640	valid
226.0ms	4303×	body	80	valid
133.0ms	691×	body	320	valid
77.0ms	269×	body	640	invalid
42.0ms	345×	body	160	valid
35.0ms	83×	body	1280	invalid
33.0ms	177×	body	320	invalid
13.0ms	117×	body	160	invalid
9.0ms	162×	body	80	invalid
7.0ms	179×	body	80	nan

Details

analyze551.0ms

sample60.0ms

simplify35.0ms

prune7.0ms

localize9.0ms

rewrite31.0ms

series44.0ms

simplify67.0ms

prune193.0ms

localize16.0ms

rewrite36.0ms

series108.0ms

simplify38.0ms

prune161.0ms

localize14.0ms

rewrite35.0ms

series103.0ms

simplify49.0ms

prune224.0ms

localize12.0ms

rewrite44.0ms

series99.0ms

simplify75.0ms

prune221.0ms

regimes110.0ms

bsearch87.0ms

simplify1.0ms

end0.0ms

sample1.8s

Profiling