Details

sample191.0ms

Algorithm

intervals

Results

97.0ms	86×	body	1280	valid
36.0ms	50×	body	640	valid
18.0ms	82×	body	80	valid
13.0ms	25×	body	320	valid
4.0ms	13×	body	160	valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	74	30
1	182	30
2	657	30
3	2727	30
4	5001	30

prune5.0ms

Filtered

1 candidates to 0 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 → 1

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (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)))
1.0b	(- 3.0 (sqrt 5.0))
1.9b	(- (cos x) (cos y))

rewrite39.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×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
2×	`times-frac` `diff-log` `associate-l/` `-commutative` `unswap-sqr`
1×	`diff-cos`

Counts

4 → 94

Calls

4 calls:

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	(- 3.0 (sqrt 5.0))
4.0ms	(- (cos x) (cos y))

series358.0ms

Counts

4 → 10

Calls

4 calls:

165.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
137.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
56.0ms	(- (cos x) (cos y))

simplify66.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	622	1094
1	2643	1002
2	5003	1002

prune513.0ms

Filtered

104 candidates to 70 candidates (67.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	8	105

Merged error: 0.3b

Counts

105 → 8

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
0.4b	(* (* (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)))
1.9b	(- (cos x) (cos y))

rewrite228.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-sqr-sqrt`
31×	`*-un-lft-identity`
29×	`associate-l`
21×	`times-frac`
19×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
15×	`associate-r`
13×	`pow1`
11×	`difference-of-squares`
10×	`associate-*r/`
8×	`flip3--` `flip--`
7×	`sqrt-prod`
6×	`prod-exp` `cbrt-unprod` `distribute-lft-out--` `add-log-exp`
5×	`sub-neg` `pow-prod-down`
4×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `unswap-sqr`
3×	`associate-l/` `-commutative`
1×	`cbrt-undiv` `diff-log` `div-exp` `div-inv` `diff-cos`

Counts

4 → 120

Calls

4 calls:

10.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
198.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)))
5.0ms	(- (cos x) (cos y))

series364.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
132.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
88.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
56.0ms	(- (cos x) (cos y))

simplify121.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	751	1321
1	3282	1206
2	5001	1206

prune725.0ms

Filtered

132 candidates to 89 candidates (67.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	127	5	132
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	132	8	140

Merged error: 0.2b

Counts

140 → 8

localize42.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (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.5b	(+ (cos x) (cos y))
2.0b	(- (* (cos x) (cos x)) (* (cos y) (cos y)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 94

Calls

4 calls:

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))
5.0ms	(- (* (cos x) (cos x)) (* (cos y) (cos y)))

series336.0ms

Counts

4 → 12

Calls

4 calls:

134.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
87.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
41.0ms	(+ (cos x) (cos y))
74.0ms	(- (* (cos x) (cos x)) (* (cos y) (cos y)))

simplify77.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	659	1167
1	2938	1043
2	5002	1039

prune673.0ms

Filtered

106 candidates to 75 candidates (70.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	106	8	114

Merged error: 0.2b

Counts

114 → 8

localize41.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
1.9b	(- (cos x) (cos y))
3.9b	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 79

Calls

4 calls:

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

series235.0ms

Counts

4 → 10

Calls

4 calls:

88.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
56.0ms	(- (cos x) (cos y))
91.0ms	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

simplify118.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	356	646
1	1089	595
2	4622	589
3	5002	589

prune413.0ms

Filtered

89 candidates to 61 candidates (68.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	87	10	97

Merged error: 0.2b

Counts

97 → 10

regimes177.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	42
1	52	42

end0.0ms

sample5.7s

Algorithm

intervals

Results

3.2s	2767×	body	1280	valid
1.4s	1833×	body	640	valid
414.0ms	761×	body	320	valid
367.0ms	2286×	body	80	valid
120.0ms	353×	body	160	valid

Details

sample191.0ms

simplify54.0ms

prune5.0ms

localize38.0ms

rewrite39.0ms

series358.0ms

simplify66.0ms

prune513.0ms

localize36.0ms

rewrite228.0ms

series364.0ms

simplify121.0ms

prune725.0ms

localize42.0ms

rewrite41.0ms

series336.0ms

simplify77.0ms

prune673.0ms

localize41.0ms

rewrite25.0ms

series235.0ms

simplify118.0ms

prune413.0ms

regimes177.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.7s

Profiling