Details

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

sample204.0ms

Algorithm

intervals

Results

29.0ms	27×	body	2560	valid
22.0ms	46×	body	1280	valid
9.0ms	130×	body	80	valid
9.0ms	29×	body	640	valid
3.0ms	15×	body	320	valid
2.0ms	9×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	13	13

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

localize39.0ms

Local error

Found 3 expressions with local error:

4.3b	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
28.8b	(sin (/ x (* y 2.0)))
29.4b	(tan (/ x (* y 2.0)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 43

Calls

3 calls:

5.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)))

series32.0ms

Counts

3 → 9

Calls

3 calls:

16.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)))

simplify36.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5037	733

prune167.0ms

Filtered

44 candidates to 52 candidates (-18.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	39	13	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	13	53

Merged error: 26.8b

Counts

53 → 13

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

prune48.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	12	12
Picked	1	1
Done	0	0
Total	13	13

Merged error: 26.8b

Counts

13 → 13

localize45.0ms

Local error

Found 4 expressions with local error:

28.8b	(sin (/ x (* y 2.0)))
29.4b	(tan (/ x (* y 2.0)))
29.4b	(tan (/ x (* y 2.0)))
29.4b	(tan (/ x (* y 2.0)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`tan-quot`

Counts

4 → 31

Calls

4 calls:

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

series41.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify61.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4954	360
1	4954	360

prune197.0ms

Filtered

39 candidates to 43 candidates (-10.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	1	10	11
Picked	0	1	1
Done	0	1	1
Total	42	14	56

Merged error: 26.7b

Counts

56 → 14

localize39.0ms

Local error

Found 4 expressions with local error:

4.3b	(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
28.8b	(sin (/ x (* y 2.0)))
28.8b	(sin (/ x (* y 2.0)))
29.0b	(cos (/ 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	(sin (/ x (* y 2.0)))
2.0ms	(sin (/ x (* y 2.0)))
2.0ms	(cos (/ 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))))
3.0ms	(sin (/ x (* y 2.0)))
4.0ms	(sin (/ x (* y 2.0)))
4.0ms	(cos (/ x (* y 2.0)))

simplify62.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4987	2109
1	4987	2109

prune242.0ms

Filtered

83 candidates to 103 candidates (-24.1%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	92	11	103
Fresh	5	6	11
Picked	1	0	1
Done	1	1	2
Total	99	18	117

Merged error: 26.7b

Counts

117 → 18

regimes523.0ms

Accuracy

20.9% (2.0b remaining)

Error of 27.8b against oracle of 25.9b and baseline of 28.4b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	65
1	28	65

end0.0ms

sample6.0s

Algorithm

intervals

Results

722.0ms	1450×	body	1280	valid
613.0ms	619×	body	2560	valid
302.0ms	964×	body	640	valid
290.0ms	4120×	body	80	valid
124.0ms	540×	body	320	valid
55.0ms	307×	body	160	valid

Details

analyze806.0ms

sample204.0ms

simplify3.0ms

prune3.0ms

localize39.0ms

rewrite10.0ms

series32.0ms

simplify36.0ms

prune167.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify3.0ms

prune48.0ms

localize45.0ms

rewrite8.0ms

series41.0ms

simplify61.0ms

prune197.0ms

localize39.0ms

rewrite17.0ms

series19.0ms

simplify62.0ms

prune242.0ms

regimes523.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample6.0s

Profiling