Details

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

sample85.0ms

Algorithm

intervals

Results

27.0ms	29×	body	2560	valid
23.0ms	47×	body	1280	valid
9.0ms	124×	body	80	valid
8.0ms	25×	body	640	valid
5.0ms	21×	body	320	valid
2.0ms	10×	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: 38.0b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

7.7b	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
30.2b	(sin (/ x (* y 2.0)))
30.3b	(tan (/ x (* y 2.0)))

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

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

simplify37.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5037	733

prune162.0ms

Filtered

44 candidates to 52 candidates (-18.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	41	11	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	11	53

Merged error: 27.6b

Counts

53 → 11

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

prune41.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	10	10
Picked	1	1
Done	0	0
Total	11	11

Merged error: 27.6b

Counts

11 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3)
7.7b	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
30.2b	(sin (/ x (* y 2.0)))
30.3b	(tan (/ x (* y 2.0)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`unpow-prod-down` `cube-prod`
9×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
4×	`add-log-exp`
3×	`pow-unpow` `associate-/r` `div-inv` `associate-/l`
2×	`tan-quot` `cbrt-undiv` `div-exp` `pow-exp` `rem-cube-cbrt`
1×	`cube-div` `cube-mult` `pow-to-exp` `pow-pow` `frac-2neg` `unpow3` `clear-num` `associate-/l/` `sqr-pow`

Counts

4 → 89

Calls

4 calls:

6.0ms	(pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3)
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)))

series57.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3)
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)))

simplify50.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5530	1719

prune218.0ms

Filtered

67 candidates to 101 candidates (-50.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	95	6	101
Fresh	4	5	9
Picked	1	0	1
Done	0	1	1
Total	100	12	112

Merged error: 27.6b

Counts

112 → 12

localize19.0ms

Local error

Found 4 expressions with local error:

30.2b	(sin (/ x (* y 2.0)))
30.3b	(tan (/ x (* y 2.0)))
30.3b	(tan (/ x (* y 2.0)))
30.3b	(tan (/ 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`
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)))

series42.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify60.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4954	360
1	4954	360

prune165.0ms

Filtered

39 candidates to 43 candidates (-10.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	2	8	10
Picked	0	1	1
Done	0	1	1
Total	43	12	55

Merged error: 27.5b

Counts

55 → 12

regimes444.0ms

Accuracy

0% (2.3b remaining)

Error of 28.4b against oracle of 26.1b and baseline of 28.4b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
1	1	1

end0.0ms

sample2.4s

Algorithm

intervals

Results

751.0ms	1414×	body	1280	valid
642.0ms	631×	body	2560	valid
335.0ms	997×	body	640	valid
314.0ms	4085×	body	80	valid
144.0ms	558×	body	320	valid
58.0ms	315×	body	160	valid

Details

analyze749.0ms

sample85.0ms

simplify3.0ms

prune3.0ms

localize11.0ms

rewrite14.0ms

series34.0ms

simplify37.0ms

prune162.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune41.0ms

localize14.0ms

rewrite18.0ms

series57.0ms

simplify50.0ms

prune218.0ms

localize19.0ms

rewrite9.0ms

series42.0ms

simplify60.0ms

prune165.0ms

regimes444.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling