Details

analyze348.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
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample129.0ms

Algorithm

intervals

Results

63.0ms	131×	body	1024	valid
16.0ms	65×	body	512	valid
13.0ms	49×	body	1024	invalid
8.0ms	26×	body	512	invalid
5.0ms	38×	body	256	valid
4.0ms	66×	body	128	invalid
3.0ms	5×	body	2048	valid
2.0ms	13×	body	256	invalid
1.0ms	17×	body	128	valid

simplify1.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	11	18

prune2.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: 43.3b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

2 → 0

Calls

2 calls:

0.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series199.0ms

Counts

2 → 6

Calls

2 calls:

154.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
45.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify1.0ms

Algorithm

egg-herbie

Counts

6 → 6

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	89
1	32	89

prune8.0ms

Filtered

5 candidates to 6 candidates (-20.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.1b

Counts

7 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 1/3 (pow.f64 im 3)) (.f64 1/60 (pow.f64 im 5)))
0.1b	(*.f64 1/60 (pow.f64 im 5))
0.1b	(*.f64 1/3 (pow.f64 im 3))
0.1b	(.f64 (.f64 1/2 (sin.f64 re)) (neg.f64 (+.f64 (.f64 2 im) (+.f64 (.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (.f64 1/3 (pow.f64 im 3)) (.f64 1/60 (pow.f64 im 5)))
0.0ms	(*.f64 1/60 (pow.f64 im 5))
0.0ms	(*.f64 1/3 (pow.f64 im 3))
0.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (neg.f64 (+.f64 (.f64 2 im) (+.f64 (.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))))

series640.0ms

Counts

4 → 12

Calls

4 calls:

202.0ms	(+.f64 (.f64 1/3 (pow.f64 im 3)) (.f64 1/60 (pow.f64 im 5)))
68.0ms	(*.f64 1/60 (pow.f64 im 5))
52.0ms	(*.f64 1/3 (pow.f64 im 3))
317.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (neg.f64 (+.f64 (.f64 2 im) (+.f64 (.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))))

simplify2.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	169
1	26	169

prune5.0ms

Filtered

2 candidates to 12 candidates (-500.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	11	1	12
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	11	3	14

Merged error: 0.1b

Counts

14 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (sin.f64 re) (pow.f64 im 5))
0.1b	(*.f64 (sin.f64 re) (pow.f64 im 3))
0.1b	(.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
0.1b	(*.f64 (sin.f64 re) im)

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(*.f64 (sin.f64 re) (pow.f64 im 5))
0.0ms	(*.f64 (sin.f64 re) (pow.f64 im 3))
0.0ms	(.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
0.0ms	(*.f64 (sin.f64 re) im)

series513.0ms

Counts

4 → 12

Calls

4 calls:

194.0ms	(*.f64 (sin.f64 re) (pow.f64 im 5))
116.0ms	(*.f64 (sin.f64 re) (pow.f64 im 3))
148.0ms	(.f64 1/6 (.f64 (sin.f64 re) (pow.f64 im 3)))
55.0ms	(*.f64 (sin.f64 re) im)

simplify2.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	145
1	27	145

prune6.0ms

Filtered

4 candidates to 12 candidates (-200.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	12	3	15

Merged error: 0.1b

Counts

15 → 3

regimes77.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.1b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	36
1	18	36

end0.0ms

sample4.2s

Algorithm

intervals

Results

2.0s	4091×	body	1024	valid
582.0ms	2025×	body	1024	invalid
503.0ms	2056×	body	512	valid
193.0ms	992×	body	512	invalid
170.0ms	2559×	body	128	invalid
167.0ms	238×	body	2048	valid
147.0ms	988×	body	256	valid
64.0ms	472×	body	256	invalid
49.0ms	627×	body	128	valid

Details

analyze348.0ms

sample129.0ms

simplify1.0ms

prune2.0ms

localize10.0ms

rewrite0.0ms

series199.0ms

simplify1.0ms

prune8.0ms

localize16.0ms

rewrite0.0ms

series640.0ms

simplify2.0ms

prune5.0ms

localize16.0ms

rewrite0.0ms

series513.0ms

simplify2.0ms

prune6.0ms

regimes77.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.2s

Profiling