Details

analyze390.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
12.5%	87.4%	0.1%	7
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

sample30.0ms

Algorithm

intervals

Results

11.0ms	88×	body	1024	valid
5.0ms	33×	body	2048	valid
3.0ms	86×	body	128	valid
3.0ms	29×	body	512	valid
1.0ms	20×	body	256	valid

simplify1.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	10	17

prune1.0ms

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
10.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

2 → 0

Calls

2 calls:

0.0ms	(+.f64 (*.f64 x y) z)
0.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

series124.0ms

Counts

2 → 6

Calls

2 calls:

40.0ms	(+.f64 (*.f64 x y) z)
83.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

simplify1.0ms

Algorithm

egg-herbie

Counts

6 → 6

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	72
1	11	72

prune2.0ms

Filtered

1 candidates to 6 candidates (-500.0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	6	0	6
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	6	1	7

Merged error: 42.6b

Counts

7 → 1

simplify0.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	10	17

end0.0ms

sample933.0ms

Algorithm

intervals

Results

345.0ms	2771×	body	1024	valid
179.0ms	1116×	body	2048	valid
116.0ms	1260×	body	512	valid
73.0ms	2263×	body	128	valid
36.0ms	586×	body	256	valid
1.0ms	4×	body	4096	valid

Details

analyze390.0ms

sample30.0ms

simplify1.0ms

prune1.0ms

localize8.0ms

rewrite0.0ms

series124.0ms

simplify1.0ms

prune2.0ms

simplify0.0ms

end0.0ms

sample933.0ms

Profiling