Details

sample75.0ms

Algorithm

intervals

Results

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

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

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

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

series33.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify53.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 1 (4.0ms)

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

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

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

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

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

simplify49.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (37.0ms)

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

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

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

rewrite9.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)))
2.0ms	(sin (/ x (* y 2.0)))
2.0ms	(sin (/ x (* y 2.0)))

series16.0ms

Counts

4 → 12

Calls

4 calls:

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

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

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

regimes682.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.1s

Algorithm

intervals

Results

626.0ms	1444×	body	1280	valid
541.0ms	604×	body	2560	valid
250.0ms	955×	body	640	valid
236.0ms	4175×	body	80	valid
100.0ms	522×	body	320	valid
45.0ms	300×	body	160	valid

Details

sample75.0ms

simplify4.0ms

prune4.0ms

localize9.0ms

rewrite10.0ms

series33.0ms

simplify53.0ms

prune199.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune52.0ms

localize13.0ms

rewrite17.0ms

series19.0ms

simplify49.0ms

prune431.0ms

localize17.0ms

rewrite9.0ms

series16.0ms

simplify41.0ms

prune123.0ms

regimes682.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample2.1s

Profiling