Details

analyze885.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
18.7%	81.2%	0.1%	7
32.8%	67.1%	0.1%	8
38.2%	61.7%	0.1%	9
41%	58.9%	0.1%	10
43.9%	56%	0.1%	11
45.4%	54.5%	0.1%	12
46.9%	53%	0.1%	13
47.6%	52.3%	0.1%	14

sample72.0ms

Algorithm

intervals

Results

18.0ms	19×	body	2560	valid
16.0ms	33×	body	1280	valid
11.0ms	35×	body	640	valid
10.0ms	139×	body	80	valid
4.0ms	17×	body	320	valid
2.0ms	13×	body	160	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	143	13
1	143	13

prune4.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: 33.4b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ x (* y 2.0))
6.9b	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
26.5b	(sin (/ x (* y 2.0)))
26.6b	(tan (/ x (* y 2.0)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
4×	`pow1` `associate-/r*` `add-log-exp`
3×	`cbrt-undiv` `div-exp`
2×	`tan-quot` `frac-2neg` `clear-num` `div-inv`
1×	`prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 64

Calls

4 calls:

4.0ms	(/ x (* y 2.0))
10.0ms	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
2.0ms	(sin (/ x (* y 2.0)))
2.0ms	(tan (/ x (* y 2.0)))

series37.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ x (* y 2.0))
17.0ms	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
3.0ms	(sin (/ x (* y 2.0)))
13.0ms	(tan (/ x (* y 2.0)))

simplify54.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5087	885

prune259.0ms

Filtered

61 candidates to 76 candidates (-24.6%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	57	19	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	19	77

Merged error: 23.6b

Counts

77 → 19

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify3.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune75.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	18	18
Picked	1	1
Done	0	0
Total	19	19

Merged error: 23.6b

Counts

19 → 19

localize11.0ms

Local error

Found 4 expressions with local error:

6.9b	(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
26.5b	(cos (/ x (* y 2.0)))
26.5b	(sin (/ x (* y 2.0)))
26.5b	(sin (/ x (* y 2.0)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
46×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`associate-/l*`
9×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
4×	`pow1` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-/r*`
1×	`frac-2neg` `clear-num` `associate-/l/`

Counts

4 → 91

Calls

4 calls:

8.0ms	(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
2.0ms	(cos (/ x (* y 2.0)))
2.0ms	(sin (/ x (* y 2.0)))
2.0ms	(sin (/ x (* y 2.0)))

series19.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
4.0ms	(cos (/ x (* y 2.0)))
3.0ms	(sin (/ x (* y 2.0)))
4.0ms	(sin (/ x (* y 2.0)))

simplify71.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4959	2127
1	4959	2127

prune384.0ms

Filtered

83 candidates to 103 candidates (-24.1%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	90	13	103
Fresh	6	11	17
Picked	1	0	1
Done	0	1	1
Total	97	25	122

Merged error: 23.6b

Counts

122 → 25

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ x (* y 2.0))
26.5b	(cos (/ x (* y 2.0)))
26.5b	(cos (/ x (* y 2.0)))
26.5b	(cos (/ x (* y 2.0)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-exp-log` `add-cbrt-cube`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-log-exp`
3×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `div-exp`
1×	`frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

4 → 42

Calls

4 calls:

4.0ms	(/ x (* y 2.0))
2.0ms	(cos (/ x (* y 2.0)))
2.0ms	(cos (/ x (* y 2.0)))
2.0ms	(cos (/ x (* y 2.0)))

series16.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ x (* y 2.0))
4.0ms	(cos (/ x (* y 2.0)))
4.0ms	(cos (/ x (* y 2.0)))
5.0ms	(cos (/ x (* y 2.0)))

simplify49.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5121	395

prune153.0ms

Filtered

44 candidates to 54 candidates (-22.7%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	45	9	54
Fresh	9	14	23
Picked	1	0	1
Done	0	1	1
Total	55	24	79

Merged error: 23.1b

Counts

79 → 24

regimes813.0ms

Accuracy

0% (3.4b remaining)

Error of 28.7b against oracle of 25.3b and baseline of 28.7b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	31
1	55	31

end0.0ms

sample2.3s

Algorithm

intervals

Results

706.0ms	1416×	body	1280	valid
617.0ms	629×	body	2560	valid
320.0ms	996×	body	640	valid
308.0ms	4057×	body	80	valid
138.0ms	582×	body	320	valid
57.0ms	320×	body	160	valid

Details

analyze885.0ms

sample72.0ms

simplify5.0ms

prune4.0ms

localize10.0ms

rewrite20.0ms

series37.0ms

simplify54.0ms

prune259.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify3.0ms

prune75.0ms

localize11.0ms

rewrite17.0ms

series19.0ms

simplify71.0ms

prune384.0ms

localize11.0ms

rewrite11.0ms

series16.0ms

simplify49.0ms

prune153.0ms

regimes813.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.3s

Profiling