Details

analyze4.0ms

Algorithm

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
53.1%	3.1%	43.8%	7
54.7%	1.6%	43.8%	8
54.7%	0.8%	44.6%	9
54.7%	0.4%	44.9%	10
54.9%	0.2%	44.9%	11
54.9%	0.1%	45%	12
54.9%	0%	45%	13
54.9%	0%	45%	14

sample15.0ms

Algorithm

intervals

Results

10.0ms

256×

body

128

valid

simplify1.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	10	28

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))
0.1b	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
0.1b	(.f64 d1 (.f64 d1 d1))
0.1b	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))
0.0ms	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
0.0ms	(.f64 d1 (.f64 d1 d1))
0.0ms	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))

series263.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))
46.0ms	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
43.0ms	(.f64 d1 (.f64 d1 d1))
87.0ms	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))

simplify1.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	48
1	10	48

prune11.0ms

Filtered

4 candidates to 12 candidates (-200.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	9	3	12
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	10	3	13

Merged error: 0.0b

Counts

13 → 3

localize3.0ms

Local error

Found 1 expressions with local error:

0.1b	(*.f64 (pow.f64 d1 9) d1)

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

1 → 0

Calls

1 calls:

0.0ms

(*.f64 (pow.f64 d1 9) d1)

series83.0ms

Counts

1 → 3

Calls

1 calls:

82.0ms

(*.f64 (pow.f64 d1 9) d1)

simplify1.0ms

Algorithm

egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	12
1	4	12

prune4.0ms

Filtered

1 candidates to 3 candidates (-200.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	2	1	3
Fresh	2	0	2
Picked	1	0	1
Done	0	0	0
Total	5	1	6

Merged error: 0b

Counts

6 → 1

localize2.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

prune1.0ms

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

simplify0.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	4	4

end0.0ms

sample404.0ms

Algorithm

intervals

Results

320.0ms

8000×

body

128

valid

Details

analyze4.0ms

sample15.0ms

simplify1.0ms

prune1.0ms

localize10.0ms

rewrite0.0ms

series263.0ms

simplify1.0ms

prune11.0ms

localize3.0ms

rewrite0.0ms

series83.0ms

simplify1.0ms

prune4.0ms

localize2.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune1.0ms

simplify0.0ms

end0.0ms

sample404.0ms

Profiling