Details

analyze301.0ms (24.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	1	2
1	1	2
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 8 to 8 computations (0% saved)

sample26.0ms (2.1%)

Algorithm

1×

intervals

Results

5.0ms	256×	pre	128	true
2.0ms	256×	body	128	valid

Compiler

Compiled 51 to 43 computations (15.7% saved)

simplify76.0ms (6.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4915	64
1	4915	64

prune6.0ms (0.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

63.1b

Counts

2 → 1

Compiler

Compiled 86 to 66 computations (23.3% saved)

localize34.0ms (2.8%)

rewrite1.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

63.1b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 63.1b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify6.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune3.0ms (0.2%)

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

Error

63.1b

Counts

1 → 1

Compiler

Compiled 43 to 33 computations (23.3% saved)

simplify12.0ms (1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	85	64
1	85	64

Compiler

Compiled 86 to 66 computations (23.3% saved)

end0.0ms (0%)

sample746.0ms (61.6%)

Algorithm

1×

intervals

Results

164.0ms	8000×	pre	128	true
77.0ms	8000×	body	128	valid

Compiler

Compiled 94 to 76 computations (19.1% saved)

Details

analyze301.0ms (24.9%)

sample26.0ms (2.1%)

simplify76.0ms (6.3%)

prune6.0ms (0.5%)

localize34.0ms (2.8%)

rewrite1.0ms (0.1%)

series0.0ms (0%)

simplify6.0ms (0.5%)

prune3.0ms (0.2%)

simplify12.0ms (1%)

end0.0ms (0%)

sample746.0ms (61.6%)

Profiling