Details

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

sample54.0ms

Algorithm

intervals

Results

11.0ms	188×	body	80	valid
10.0ms	20×	body	1280	valid
9.0ms	28×	body	640	valid
3.0ms	14×	body	320	valid
2.0ms	7×	body	640	invalid
2.0ms	8×	body	320	invalid
1.0ms	3×	body	1280	invalid
1.0ms	28×	body	80	nan
1.0ms	8×	body	160	invalid
1.0ms	6×	body	160	valid
1.0ms	9×	body	80	invalid

simplify34.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (32.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.1b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

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

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

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

series69.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify67.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4951	3086
1	4951	3086

prune219.0ms

Filtered

147 candidates to 196 candidates (-33.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	190	6	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	191	6	197

Merged error: 1.1b

Counts

197 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
1.0b	(pow (/ (cbrt y) (cbrt (+ y z))) y)
3.2b	(pow (* (/ (cbrt y) (cbrt (+ y z))) (/ (cbrt y) (cbrt (+ y z)))) y)

rewrite38.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 y)
1.0ms	(cbrt y)
11.0ms	(pow (/ (cbrt y) (cbrt (+ y z))) y)
20.0ms	(pow (* (/ (cbrt y) (cbrt (+ y z))) (/ (cbrt y) (cbrt (+ y z)))) y)

series118.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
23.0ms	(cbrt y)
33.0ms	(pow (/ (cbrt y) (cbrt (+ y z))) y)
39.0ms	(pow (* (/ (cbrt y) (cbrt (+ y z))) (/ (cbrt y) (cbrt (+ y z)))) y)

simplify71.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4939	2012
1	4939	2012

prune166.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.1b

Counts

127 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
1.0b	(pow (/ (cbrt y) (cbrt (+ y z))) y)
1.0b	(pow (/ (cbrt y) (cbrt (+ y z))) (* y 2))

rewrite31.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 y)
1.0ms	(cbrt y)
11.0ms	(pow (/ (cbrt y) (cbrt (+ y z))) y)
11.0ms	(pow (/ (cbrt y) (cbrt (+ y z))) (* y 2))

series105.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify77.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4929	3099
1	4929	3099

prune231.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.1b

Counts

163 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.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)))
7.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:

63.0ms	(cbrt (+ x (/ (pow (/ y (+ y z)) y) y)))
19.0ms	(pow (/ y (+ y z)) y)
18.0ms	(pow (/ y (+ y z)) y)
19.0ms	(pow (/ y (+ y z)) y)

simplify69.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4946	2097
1	4946	2097

prune142.0ms

Filtered

92 candidates to 125 candidates (-35.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	125	5	130

Merged error: 0.1b

Counts

130 → 5

regimes164.0ms

Accuracy

0% (0.9b remaining)

Error of 1.1b against oracle of 0.2b and baseline of 1.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	25
1	18	25

end0.0ms

sample1.6s

Algorithm

intervals

Results

381.0ms	6026×	body	80	valid
347.0ms	669×	body	1280	valid
230.0ms	717×	body	640	valid
84.0ms	267×	body	640	invalid
82.0ms	382×	body	320	valid
58.0ms	124×	body	1280	invalid
50.0ms	1097×	body	80	nan
34.0ms	164×	body	320	invalid
29.0ms	206×	body	160	valid
20.0ms	347×	body	80	invalid
15.0ms	116×	body	160	invalid

Details

analyze906.0ms

sample54.0ms

simplify34.0ms

prune8.0ms

localize8.0ms

rewrite55.0ms

series69.0ms

simplify67.0ms

prune219.0ms

localize16.0ms

rewrite38.0ms

series118.0ms

simplify71.0ms

prune166.0ms

localize18.0ms

rewrite31.0ms

series105.0ms

simplify77.0ms

prune231.0ms

localize13.0ms

rewrite47.0ms

series119.0ms

simplify69.0ms

prune142.0ms

regimes164.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.6s

Profiling