Details

sample69.0ms

Algorithm

intervals

Results

19.0ms	22×	body	2560	valid
15.0ms	36×	body	1280	valid
8.0ms	33×	body	640	valid
7.0ms	136×	body	80	valid
4.0ms	18×	body	320	valid
2.0ms	11×	body	160	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	7
1	13	7
2	13	7

prune4.0ms

Filtered

1 candidates to 0 candidates (100.0%)

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.1b

Counts

2 → 1

localize15.0ms

Local error

Found 3 expressions with local error:

6.0b	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
27.2b	(sin (/ x (* y 2.0)))
27.8b	(tan (/ x (* y 2.0)))

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

series103.0ms

Counts

3 → 9

Calls

3 calls:

50.0ms	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
10.0ms	(sin (/ x (* y 2.0)))
44.0ms	(tan (/ x (* y 2.0)))

simplify56.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	138	457
1	421	413
2	1751	413
3	5002	413

prune197.0ms

Filtered

52 candidates to 44 candidates (15.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	37	15	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	38	15	53

Merged error: 25.2b

Counts

53 → 15

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune54.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

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

Merged error: 25.2b

Counts

15 → 15

localize11.0ms

Local error

Found 4 expressions with local error:

6.0b	(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
27.0b	(cos (/ x (* y 2.0)))
27.2b	(sin (/ x (* y 2.0)))
27.2b	(sin (/ x (* y 2.0)))

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

series58.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
12.0ms	(cos (/ x (* y 2.0)))
9.0ms	(sin (/ x (* y 2.0)))
10.0ms	(sin (/ x (* y 2.0)))

simplify51.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	351	1606
1	1470	1336
2	5002	1259

prune405.0ms

Filtered

103 candidates to 83 candidates (19.4%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	90	13	103
Fresh	7	6	13
Picked	1	0	1
Done	0	1	1
Total	98	20	118

Merged error: 25.2b

Counts

118 → 20

localize15.0ms

Local error

Found 4 expressions with local error:

27.0b	(cos (/ x (* y 2.0)))
27.0b	(cos (/ x (* y 2.0)))
27.2b	(sin (/ x (* y 2.0)))
27.2b	(sin (/ x (* y 2.0)))

rewrite11.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`

Counts

4 → 28

Calls

4 calls:

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

series41.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(cos (/ x (* y 2.0)))
12.0ms	(cos (/ x (* y 2.0)))
9.0ms	(sin (/ x (* y 2.0)))
9.0ms	(sin (/ x (* y 2.0)))

simplify49.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	53	188
1	114	160
2	315	160
3	1342	160
4	5001	160

prune126.0ms

Filtered

40 candidates to 36 candidates (10.0%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	32	8	40
Fresh	3	15	18
Picked	1	0	1
Done	0	1	1
Total	36	24	60

Merged error: 25.1b

Counts

60 → 24

regimes691.0ms

Accuracy

43% (1.5b remaining)

Error of 27.0b against oracle of 25.5b and baseline of 28.1b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	33
1	17	33

end0.0ms

sample2.0s

Algorithm

intervals

Results

606.0ms	1444×	body	1280	valid
534.0ms	604×	body	2560	valid
258.0ms	955×	body	640	valid
231.0ms	4175×	body	80	valid
97.0ms	522×	body	320	valid
45.0ms	300×	body	160	valid

Details

sample69.0ms

simplify5.0ms

prune4.0ms

localize15.0ms

rewrite11.0ms

series103.0ms

simplify56.0ms

prune197.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune54.0ms

localize11.0ms

rewrite18.0ms

series58.0ms

simplify51.0ms

prune405.0ms

localize15.0ms

rewrite11.0ms

series41.0ms

simplify49.0ms

prune126.0ms

regimes691.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample2.0s

Profiling