Details

analyze755.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
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

sample206.0ms

Algorithm

intervals

Results

114.0ms	90×	body	1280	valid
49.0ms	59×	body	640	valid
14.0ms	24×	body	320	valid
12.0ms	70×	body	80	valid
5.0ms	13×	body	160	valid

simplify26.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	4955	50
1	4955	50

prune16.0ms

Filtered

1 candidates to 1 candidates (0.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: 0.4b

Counts

2 → 2

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.9b	(- (cos x) (cos y))
1.0b	(- 3.0 (sqrt 5.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
12×	`associate-r`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`associate-*r/`
9×	`flip3--` `flip--`
8×	`add-cube-cbrt` `add-log-exp`
7×	`associate-l` `difference-of-squares`
6×	`sub-neg`
5×	`sqrt-prod`
4×	`frac-times` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
2×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `diff-log` `associate-l/` `-commutative` `unswap-sqr`
1×	`diff-cos`

Counts

4 → 88

Calls

4 calls:

19.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
11.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms	(- (cos x) (cos y))
4.0ms	(- 3.0 (sqrt 5.0))

series44.0ms

Counts

4 → 10

Calls

4 calls:

22.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
13.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
9.0ms	(- (cos x) (cos y))
0.0ms	(- 3.0 (sqrt 5.0))

simplify39.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5070	1524

prune312.0ms

Filtered

72 candidates to 98 candidates (-36.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	88	10	98
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	89	11	100

Merged error: 0.3b

Counts

100 → 11

localize39.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
0.3b	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.9b	(- (cos x) (cos y))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

36×	`associate-*r/`
35×	`flip3--` `flip--`
32×	`frac-times`
27×	`add-sqr-sqrt`
20×	`pow1` `add-exp-log` `add-cbrt-cube`
18×	`associate-r`
17×	`*-un-lft-identity`
16×	`associate-*l/`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-cube-cbrt`
8×	`associate-l`
7×	`sub-neg`
6×	`add-log-exp` `difference-of-squares`
4×	`sqrt-prod` `distribute-lft-out--`
3×	`distribute-rgt-in` `distribute-lft-in` `*-commutative`
2×	`times-frac` `diff-cos` `unswap-sqr`
1×	`diff-log`

Counts

4 → 126

Calls

4 calls:

24.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
17.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
11.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms	(- (cos x) (cos y))

series84.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
26.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
13.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
9.0ms	(- (cos x) (cos y))

simplify48.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5199	3491

prune470.0ms

Filtered

103 candidates to 138 candidates (-34.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	133	5	138
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	137	12	149

Merged error: 0.2b

Counts

149 → 12

localize46.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (* (- (cos x) (cos y)) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))
0.9b	(- (cos x) (cos y))
0.9b	(- (cos x) (cos y))
0.9b	(- (cos x) (cos y))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

38×	`associate-*r/`
30×	`flip3--` `flip--`
28×	`frac-times`
26×	`cbrt-div`
10×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
8×	`associate-*l/`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
3×	`sub-neg` `diff-log` `diff-cos` `distribute-lft-out--` `difference-of-squares`
1×	`cbrt-prod` `pow1/3`

Counts

4 → 77

Calls

4 calls:

28.0ms	(cbrt (* (- (cos x) (cos y)) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))
4.0ms	(- (cos x) (cos y))
4.0ms	(- (cos x) (cos y))
4.0ms	(- (cos x) (cos y))

series209.0ms

Counts

4 → 12

Calls

4 calls:

182.0ms	(cbrt (* (- (cos x) (cos y)) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))
9.0ms	(- (cos x) (cos y))
9.0ms	(- (cos x) (cos y))
9.0ms	(- (cos x) (cos y))

simplify47.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5880	2436

prune604.0ms

Filtered

75 candidates to 89 candidates (-18.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	88	1	89
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	89	12	101

Merged error: 0.2b

Counts

101 → 12

localize49.0ms

Local error

Found 4 expressions with local error:

0.9b	(- (cos x) (cos y))
0.9b	(- (cos x) (cos y))
0.9b	(- (cos x) (cos y))
1.0b	(log (exp (cbrt (* (- (cos x) (cos y)) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-log-exp`
6×	`add-cube-cbrt`
5×	`pow1` `log-pow`
4×	`add-exp-log` `exp-prod` `add-cbrt-cube`
3×	`sub-neg` `log-prod` `flip3--` `diff-log` `flip--` `diff-cos` `distribute-lft-out--` `difference-of-squares`
1×	`cbrt-prod` `rem-log-exp`

Counts

4 → 58

Calls

4 calls:

4.0ms	(- (cos x) (cos y))
4.0ms	(- (cos x) (cos y))
5.0ms	(- (cos x) (cos y))
2.0ms	(log (exp (cbrt (* (- (cos x) (cos y)) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))))

series182.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (cos x) (cos y))
9.0ms	(- (cos x) (cos y))
9.0ms	(- (cos x) (cos y))
156.0ms	(log (exp (cbrt (* (- (cos x) (cos y)) (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (- (sin y) (/ (sin x) 16.0))))))))

simplify42.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4946	1030
1	4946	1030

prune326.0ms

Filtered

54 candidates to 70 candidates (-29.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	70	12	82

Merged error: 0.2b

Counts

82 → 12

regimes232.0ms

Accuracy

0% (0.2b remaining)

Error of 0.5b against oracle of 0.3b and baseline of 0.5b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	97	50
1	97	50

end0.0ms

sample6.3s

Algorithm

intervals

Results

3.5s	2719×	body	1280	valid
1.6s	1875×	body	640	valid
446.0ms	731×	body	320	valid
419.0ms	2301×	body	80	valid
152.0ms	374×	body	160	valid

Details

analyze755.0ms

sample206.0ms

simplify26.0ms

prune16.0ms

localize36.0ms

rewrite41.0ms

series44.0ms

simplify39.0ms

prune312.0ms

localize39.0ms

rewrite61.0ms

series84.0ms

simplify48.0ms

prune470.0ms

localize46.0ms

rewrite45.0ms

series209.0ms

simplify47.0ms

prune604.0ms

localize49.0ms

rewrite17.0ms

series182.0ms

simplify42.0ms

prune326.0ms

regimes232.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample6.3s

Profiling