Details

analyze578.0ms (40.2%)

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
37.4%	62.4%	0.1%	8
40.6%	57.7%	1.7%	9
45.2%	51.1%	3.7%	10
57.7%	33.5%	8.7%	11
59.7%	29.4%	10.9%	12
62%	25%	13%	13
68.3%	17.4%	14.4%	14

Compiler

Compiled 17 to 12 computations (29.4% saved)

sample74.0ms (5.1%)

Algorithm

1×

intervals

Results

55.0ms	255×	body	128	valid
1.0ms	23×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 36 to 26 computations (27.8% saved)

simplify13.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

61×	`associate-+l+_binary64`
40×	`associate-+r+_binary64`
34×	`distribute-lft-out_binary64`
33×	`+-commutative_binary64`
20×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	20	16
2	40	10
3	101	10
4	155	10
5	149	10
6	135	10

prune2.0ms (0.2%)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

Compiler

Compiled 30 to 21 computations (30% saved)

localize4.0ms (0.3%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

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

simplify8.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
	0.0b	(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

Compiler

Compiled 10 to 7 computations (30% saved)

regimes25.0ms (1.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 198 to 140 computations (29.3% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	11	10
2	11	10

end6.0ms (0.4%)

Remove: (sort d2 d3)
Compiler: Compiled 30 to 21 computations (30% saved)

sample724.0ms (50.3%)

Algorithm

1×

intervals

Results

370.0ms	7968×	body	128	valid
29.0ms	648×	body	128	invalid
2.0ms	10×	body	1024	valid
1.0ms	11×	body	512	valid
1.0ms	11×	body	256	valid

Compiler

Compiled 40 to 29 computations (27.5% saved)

Details

analyze578.0ms (40.2%)

sample74.0ms (5.1%)

simplify13.0ms (0.9%)

prune2.0ms (0.2%)

localize4.0ms (0.3%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.6%)

prune1.0ms (0.1%)

regimes25.0ms (1.7%)

simplify4.0ms (0.2%)

end6.0ms (0.4%)

sample724.0ms (50.3%)

Profiling