Details

analyze37.0ms (1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50%	0.4%	49.6%	10
50.2%	0.2%	49.6%	11
50.2%	0.1%	49.7%	12
50.2%	0%	49.8%	13
50.2%	0%	49.8%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample67.0ms (1.9%)

Algorithm

1×

intervals

Results

37.0ms

256×

body

128

valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify592.0ms (16.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (158.0ms)

Iter	Nodes	Cost
0	5037	9

prune17.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0b

Counts

2 → 2

Compiler

Compiled 19 to 16 computations (15.8% saved)

localize16.0ms (0.5%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series8.0ms (0.2%)

Counts: 0 → 0

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune8.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

2 → 2

Compiler

Compiled 6 to 5 computations (16.7% saved)

localize9.0ms (0.3%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify23.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

2 → 2

Compiler

Compiled 0 to 0 computations (0% saved)

regimes205.0ms (5.8%)

Compiler: Compiled 109 to 91 computations (16.5% saved)

bsearch0.0ms (0%)

simplify17.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (14.0ms)

Iter	Nodes	Cost
0	16	9
1	16	9

end0.0ms (0%)

sample2.5s (71.4%)

Algorithm

1×

intervals

Results

1.5s	8000×	body	128	valid
0.0ms	4×	body	128	invalid

Compiler

Compiled 27 to 24 computations (11.1% saved)

Pareto

Details

analyze37.0ms (1%)

sample67.0ms (1.9%)

simplify592.0ms (16.7%)

prune17.0ms (0.5%)

localize16.0ms (0.5%)

rewrite0.0ms (0%)

series8.0ms (0.2%)

simplify11.0ms (0.3%)

prune8.0ms (0.2%)

localize9.0ms (0.3%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify23.0ms (0.6%)

prune1.0ms (0%)

regimes205.0ms (5.8%)

bsearch0.0ms (0%)

simplify17.0ms (0.5%)

end0.0ms (0%)

sample2.5s (71.4%)

Profiling