Details

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

11.0ms	197×	body	80	valid
10.0ms	18×	body	1280	valid
6.0ms	19×	body	640	valid
2.0ms	8×	body	640	invalid
2.0ms	11×	body	320	valid
2.0ms	11×	body	160	valid
1.0ms	3×	body	1280	invalid
1.0ms	29×	body	80	nan
1.0ms	11×	body	80	invalid
0.0ms	4×	body	160	invalid
0.0ms	2×	body	320	invalid

simplify37.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4927	11
1	4927	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.1b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

37×	`*-un-lft-identity`
24×	`times-frac`
21×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`unpow-prod-down`
8×	`add-exp-log` `distribute-lft-out`
5×	`add-cbrt-cube` `add-log-exp`
4×	`pow1` `associate-/r*` `associate-/r/`
3×	`pow-unpow` `flip3-+` `flip-+` `associate-/l*`
2×	`div-exp` `pow-exp` `div-inv`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `pow-pow` `frac-2neg` `clear-num` `sum-log` `sqr-pow`

Counts

3 → 78

Calls

3 calls:

24.0ms	(+ x (/ (pow (/ y (+ y z)) y) y))
5.0ms	(/ y (+ y z))
7.0ms	(pow (/ y (+ y z)) y)

series45.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(+ x (/ (pow (/ y (+ y z)) y) y))
5.0ms	(/ y (+ y z))
19.0ms	(pow (/ y (+ y z)) y)

simplify27.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	4969	1101
1	4969	1101

prune319.0ms

Filtered

64 candidates to 87 candidates (-35.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	80	7	87
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	7	88

Merged error: 0.3b

Counts

88 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.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))
17.0ms	(pow (* (/ (cbrt y) (cbrt (+ y z))) (/ (cbrt y) (cbrt (+ y z)))) y)

series137.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (+ y z))
32.0ms	(cbrt (+ y z))
32.0ms	(cbrt (+ y z))
39.0ms	(pow (* (/ (cbrt y) (cbrt (+ y z))) (/ (cbrt y) (cbrt (+ y z)))) y)

simplify39.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5077	952

prune117.0ms

Filtered

58 candidates to 78 candidates (-34.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	80	5	85

Merged error: 0.3b

Counts

85 → 5

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

series114.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
23.0ms	(cbrt y)
32.0ms	(cbrt (+ y z))
35.0ms	(cbrt (+ y z))

simplify63.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5433	362

prune92.0ms

Filtered

48 candidates to 62 candidates (-29.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	62	5	67

Merged error: 0.3b

Counts

67 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x (/ (pow (/ y (+ y z)) y) y)))
5.3b	(pow (/ y (+ y z)) y)
5.3b	(pow (/ y (+ y z)) y)
5.3b	(pow (/ y (+ y z)) y)

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

54×	`unpow-prod-down`
52×	`*-un-lft-identity`
36×	`times-frac`
32×	`add-sqr-sqrt` `add-cube-cbrt`
13×	`add-exp-log`
10×	`distribute-lft-out`
9×	`pow-unpow`
7×	`pow1`
6×	`pow-exp` `associate-/r/`
4×	`cbrt-prod` `flip3-+` `add-cbrt-cube` `flip-+` `add-log-exp`
3×	`pow-to-exp` `pow-pow` `div-exp` `div-inv` `sqr-pow`
2×	`cbrt-div`
1×	`pow1/3`

Counts

4 → 113

Calls

4 calls:

21.0ms	(cbrt (+ x (/ (pow (/ y (+ y z)) y) y)))
9.0ms	(pow (/ y (+ y z)) y)
7.0ms	(pow (/ y (+ y z)) y)
7.0ms	(pow (/ y (+ y z)) y)

series119.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(cbrt (+ x (/ (pow (/ y (+ y z)) y) y)))
21.0ms	(pow (/ y (+ y z)) y)
19.0ms	(pow (/ y (+ y z)) y)
19.0ms	(pow (/ y (+ y z)) y)

simplify53.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4986	2102
1	4986	2102

prune137.0ms

Filtered

92 candidates to 125 candidates (-35.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	124	6	130

Merged error: 0.3b

Counts

130 → 6

regimes177.0ms

Accuracy

0% (0.2b remaining)

Error of 1.0b against oracle of 0.7b 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

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

sample1.5s

Algorithm

intervals

Results

365.0ms	6080×	body	80	valid
352.0ms	680×	body	1280	valid
207.0ms	653×	body	640	valid
84.0ms	393×	body	320	valid
79.0ms	257×	body	640	invalid
48.0ms	1035×	body	80	nan
42.0ms	90×	body	1280	invalid
41.0ms	202×	body	320	invalid
28.0ms	194×	body	160	valid
20.0ms	355×	body	80	invalid
15.0ms	120×	body	160	invalid

Details

analyze874.0ms

sample50.0ms

simplify37.0ms

prune8.0ms

localize7.0ms

rewrite38.0ms

series45.0ms

simplify27.0ms

prune319.0ms

localize14.0ms

rewrite28.0ms

series137.0ms

simplify39.0ms

prune117.0ms

localize14.0ms

rewrite9.0ms

series114.0ms

simplify63.0ms

prune92.0ms

localize12.0ms

rewrite48.0ms

series119.0ms

simplify53.0ms

prune137.0ms

regimes177.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze870.0ms

sample1.5s

Profiling