Details

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

sample75.0ms

Algorithm

intervals

Results

19.0ms	19×	body	2560	valid
18.0ms	36×	body	1280	valid
10.0ms	32×	body	640	valid
10.0ms	132×	body	80	valid
5.0ms	20×	body	320	valid
3.0ms	17×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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: 34.2b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

6.5b	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
27.9b	(sin (/ x (* y 2.0)))
28.0b	(tan (/ x (* y 2.0)))

rewrite16.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:

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

series34.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)))
14.0ms	(tan (/ x (* y 2.0)))

simplify41.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5037	733

prune178.0ms

Filtered

44 candidates to 52 candidates (-18.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	38	14	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	14	53

Merged error: 25.6b

Counts

53 → 14

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

prune53.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

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

Merged error: 25.6b

Counts

14 → 14

localize11.0ms

Local error

Found 4 expressions with local error:

6.5b	(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
27.6b	(cos (/ x (* y 2.0)))
27.9b	(sin (/ x (* y 2.0)))
27.9b	(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)))

simplify65.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4987	2109
1	4987	2109

prune330.0ms

Filtered

83 candidates to 103 candidates (-24.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	91	12	103
Fresh	6	6	12
Picked	1	0	1
Done	0	1	1
Total	98	19	117

Merged error: 25.6b

Counts

117 → 19

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (cos (/ x (* y 2.0))))
27.6b	(cos (/ x (* y 2.0)))
27.6b	(cos (/ x (* y 2.0)))
27.6b	(cos (/ x (* y 2.0)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`cbrt-prod`
1×	`pow1/3`

Counts

4 → 32

Calls

4 calls:

1.0ms	(cbrt (cos (/ 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)))

series30.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify38.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5020	353

prune121.0ms

Filtered

38 candidates to 44 candidates (-15.8%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	38	6	44
Fresh	3	14	17
Picked	1	0	1
Done	0	1	1
Total	42	21	63

Merged error: 25.4b

Counts

63 → 21

regimes711.0ms

Accuracy

37.3% (1.6b remaining)

Error of 28.1b against oracle of 26.6b and baseline of 29.1b

bsearch4.0ms

Steps

Iters	Range		Point
4	17.035994286706494	27.112812951936444	26.797912368648007

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	61
1	17	61

end0.0ms

sample2.3s

Algorithm

intervals

Results

697.0ms	1391×	body	1280	valid
632.0ms	643×	body	2560	valid
332.0ms	1048×	body	640	valid
306.0ms	4015×	body	80	valid
131.0ms	573×	body	320	valid
58.0ms	330×	body	160	valid

Details

analyze747.0ms

sample75.0ms

simplify3.0ms

prune3.0ms

localize10.0ms

rewrite16.0ms

series34.0ms

simplify41.0ms

prune178.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify3.0ms

prune53.0ms

localize11.0ms

rewrite17.0ms

series19.0ms

simplify65.0ms

prune330.0ms

localize13.0ms

rewrite8.0ms

series30.0ms

simplify38.0ms

prune121.0ms

regimes711.0ms

bsearch4.0ms

simplify1.0ms

end0.0ms

sample2.3s

Profiling