Details

analyze910.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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
2.7%	90.9%	6.4%	9
4.1%	86.4%	9.5%	10
4.4%	86.1%	9.5%	11
19.7%	65.3%	15%	12
21.9%	60.4%	17.7%	13
22.7%	59.6%	17.7%	14

sample50.0ms

Algorithm

intervals

Results

12.0ms	199×	body	80	valid
10.0ms	20×	body	1280	valid
6.0ms	19×	body	640	valid
3.0ms	14×	body	320	valid
2.0ms	4×	body	1280	invalid
2.0ms	8×	body	320	invalid
1.0ms	29×	body	80	nan
1.0ms	4×	body	640	invalid
1.0ms	11×	body	80	invalid
1.0ms	4×	body	160	valid
0.0ms	3×	body	160	invalid

simplify33.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4988	11
1	4988	11

prune8.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: 6.9b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (pow (/ y (+ y z)) y) y)
0.0b	(+ x (/ (pow (/ y (+ y z)) y) y))
0.0b	(/ y (+ y z))
6.6b	(pow (/ y (+ y z)) y)

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 184

Calls

4 calls:

10.0ms	(/ (pow (/ y (+ y z)) y) y)
23.0ms	(+ x (/ (pow (/ y (+ y z)) y) y))
5.0ms	(/ y (+ y z))
6.0ms	(pow (/ y (+ y z)) y)

series64.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ (pow (/ y (+ y z)) y) y)
19.0ms	(+ x (/ (pow (/ y (+ y z)) y) y))
5.0ms	(/ y (+ y z))
17.0ms	(pow (/ y (+ y z)) y)

simplify65.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4951	3086
1	4951	3086

prune205.0ms

Filtered

147 candidates to 196 candidates (-33.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	192	4	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	193	4	197

Merged error: 0.3b

Counts

197 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ y z))
0.6b	(cbrt (+ y z))
0.6b	(cbrt (+ y z))
2.7b	(pow (* (/ (cbrt y) (cbrt (+ y z))) (/ (cbrt y) (cbrt (+ y z)))) y)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
14×	`*-un-lft-identity`
12×	`pow1` `cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`cbrt-div` `pow-pow`
5×	`pow-exp`
4×	`div-exp` `prod-exp` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `flip3-+` `pow1/3` `flip-+` `distribute-lft-out`
1×	`pow2` `pow-to-exp` `unpow-prod-down` `pow-plus` `pow-prod-down` `pow-sqr` `pow-prod-up` `sqr-pow`

Counts

4 → 66

Calls

4 calls:

3.0ms	(cbrt (+ y z))
3.0ms	(cbrt (+ y z))
3.0ms	(cbrt (+ y z))
16.0ms	(pow (* (/ (cbrt y) (cbrt (+ y z))) (/ (cbrt y) (cbrt (+ y z)))) y)

series126.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(cbrt (+ y z))
29.0ms	(cbrt (+ y z))
29.0ms	(cbrt (+ y z))
37.0ms	(pow (* (/ (cbrt y) (cbrt (+ y z))) (/ (cbrt y) (cbrt (+ y z)))) y)

simplify54.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4943	976
1	4943	976

prune114.0ms

Filtered

57 candidates to 78 candidates (-36.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	78	4	82

Merged error: 0.0b

Counts

82 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt (+ y z))
0.6b	(cbrt (+ y z))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

14×	`cbrt-prod`
12×	`*-un-lft-identity`
8×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `cbrt-div` `pow1/3` `add-cbrt-cube` `add-log-exp`
2×	`flip3-+` `flip-+` `distribute-lft-out`

Counts

4 → 50

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
3.0ms	(cbrt (+ y z))
3.0ms	(cbrt (+ y z))

series105.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt y)
21.0ms	(cbrt y)
29.0ms	(cbrt (+ y z))
33.0ms	(cbrt (+ y z))

simplify62.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4841	358
1	4841	358

prune91.0ms

Filtered

48 candidates to 62 candidates (-29.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	62	4	66

Merged error: 0.0b

Counts

66 → 4

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ y z))
0.6b	(cbrt (+ y z))
0.6b	(cbrt (+ y z))
24.4b	(pow (* (/ 1 (* (cbrt (+ y z)) (cbrt (+ y z)))) (/ y (cbrt (+ y z)))) y)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-exp-log`
20×	`prod-exp`
15×	`div-exp` `pow-exp`
14×	`*-un-lft-identity`
12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt`
7×	`pow1`
6×	`cbrt-div`
4×	`rec-exp` `1-exp` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `flip3-+` `pow1/3` `flip-+` `distribute-lft-out`
2×	`pow-pow`
1×	`pow-to-exp` `unpow-prod-down` `pow-prod-down` `sqr-pow`

Counts

4 → 72

Calls

4 calls:

3.0ms	(cbrt (+ y z))
3.0ms	(cbrt (+ y z))
3.0ms	(cbrt (+ y z))
34.0ms	(pow (* (/ 1 (* (cbrt (+ y z)) (cbrt (+ y z)))) (/ y (cbrt (+ y z)))) y)

series109.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(cbrt (+ y z))
31.0ms	(cbrt (+ y z))
29.0ms	(cbrt (+ y z))
20.0ms	(pow (* (/ 1 (* (cbrt (+ y z)) (cbrt (+ y z)))) (/ y (cbrt (+ y z)))) y)

simplify43.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4927	1074
1	4927	1074

prune100.0ms

Filtered

60 candidates to 84 candidates (-40.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	84	4	88

Merged error: 0.0b

Counts

88 → 4

regimes156.0ms

Accuracy

0% (0.6b remaining)

Error of 1.0b against oracle of 0.4b and baseline of 1.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	25
1	18	25

end0.0ms

sample1.5s

Algorithm

intervals

Results

362.0ms	6026×	body	80	valid
347.0ms	681×	body	1280	valid
213.0ms	669×	body	640	valid
84.0ms	389×	body	320	valid
78.0ms	260×	body	640	invalid
47.0ms	1063×	body	80	nan
44.0ms	206×	body	320	invalid
41.0ms	89×	body	1280	invalid
31.0ms	235×	body	160	valid
20.0ms	347×	body	80	invalid
14.0ms	93×	body	160	invalid

Details

analyze910.0ms

sample50.0ms

simplify33.0ms

prune8.0ms

localize8.0ms

rewrite52.0ms

series64.0ms

simplify65.0ms

prune205.0ms

localize16.0ms

rewrite26.0ms

series126.0ms

simplify54.0ms

prune114.0ms

localize16.0ms

rewrite9.0ms

series105.0ms

simplify62.0ms

prune91.0ms

localize22.0ms

rewrite45.0ms

series109.0ms

simplify43.0ms

prune100.0ms

regimes156.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling