Details

analyze323.0ms (14.5%)

Algorithm

1×

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
12.5%	87.4%	0.1%	7
21.8%	78%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.2%	43.7%	0.1%	11
64.1%	35.8%	0.1%	12
73%	26.8%	0.1%	13
79.5%	20.3%	0.1%	14

sample44.0ms (2%)

Algorithm

1×

intervals

Results

14.0ms	121×	body	1280	valid
13.0ms	84×	body	2560	valid
4.0ms	38×	body	640	valid
1.0ms	12×	body	320	valid
0.0ms	1×	body	160	valid

simplify696.0ms (31.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (275.0ms)

Iter	Nodes	Cost
0	5285	1

prune10.0ms (0.4%)

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: 0b

Counts

2 → 1

localize1.0ms (0.1%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune3.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0b

Counts

1 → 1

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
1	1	1

end0.0ms (0%)

sample1.1s (51.3%)

Algorithm

1×

intervals

Results

430.0ms	3628×	body	1280	valid
403.0ms	2829×	body	2560	valid
112.0ms	1185×	body	640	valid
20.0ms	289×	body	320	valid
3.0ms	65×	body	160	valid
0.0ms	4×	body	80	valid

Details

analyze323.0ms (14.5%)

sample44.0ms (2%)

simplify696.0ms (31.3%)

prune10.0ms (0.4%)

localize1.0ms (0.1%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify4.0ms (0.2%)

prune3.0ms (0.1%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.1s (51.3%)

Profiling