Details

sample171.0ms

Algorithm

intervals

Results

89.0ms	88×	body	1280	valid
31.0ms	49×	body	640	valid
16.0ms	83×	body	80	valid
11.0ms	25×	body	320	valid
3.0ms	11×	body	160	valid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

prune6.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.3b	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
1.7b	(- (cos x) (cos y))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 115

Calls

4 calls:

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

series375.0ms

Counts

4 → 10

Calls

4 calls:

222.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
91.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
62.0ms	(- (cos x) (cos y))

simplify112.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	844	1973
1	4413	1829
2	5001	1829

prune660.0ms

Filtered

125 candidates to 88 candidates (70.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	118	7	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	7	126

Merged error: 0.3b

Counts

126 → 7

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 141

Calls

4 calls:

12.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
25.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
12.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms	(- (cos x) (cos y))

series460.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
225.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
90.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
54.0ms	(- (cos x) (cos y))

simplify44.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	977	2200
1	5001	2033

prune954.0ms

Filtered

153 candidates to 107 candidates (69.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	144	9	153
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	147	13	160

Merged error: 0.1b

Counts

160 → 13

localize45.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.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.6b	(* (sqrt (/ (- (sqrt 5.0) 1.0) 2.0)) (* (sqrt (/ (- (sqrt 5.0) 1.0) 2.0)) (cos x)))
1.7b	(- (cos x) (cos y))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 143

Calls

4 calls:

25.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
12.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
21.0ms	(* (sqrt (/ (- (sqrt 5.0) 1.0) 2.0)) (* (sqrt (/ (- (sqrt 5.0) 1.0) 2.0)) (cos x)))
5.0ms	(- (cos x) (cos y))

series546.0ms

Counts

4 → 12

Calls

4 calls:

238.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
96.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
158.0ms	(* (sqrt (/ (- (sqrt 5.0) 1.0) 2.0)) (* (sqrt (/ (- (sqrt 5.0) 1.0) 2.0)) (cos x)))
53.0ms	(- (cos x) (cos y))

simplify46.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1014	2418
1	5001	2206

prune1.0s

Filtered

155 candidates to 109 candidates (70.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	155	0	155
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	155	13	168

Merged error: 0.1b

Counts

168 → 13

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.7b	(- (cos x) (cos y))
3.1b	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 97

Calls

4 calls:

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

series475.0ms

Counts

4 → 12

Calls

4 calls:

232.0ms	(* (* (log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
92.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
58.0ms	(- (cos x) (cos y))
93.0ms	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

simplify70.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	534	1363
1	2463	1211
2	5001	1211

prune597.0ms

Filtered

109 candidates to 76 candidates (69.7%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	107	15	122

Merged error: 0.1b

Counts

122 → 15

regimes277.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	40
1	50	40

end0.0ms

sample5.2s

Algorithm

intervals

Results

2.9s	2697×	body	1280	valid
1.3s	1869×	body	640	valid
364.0ms	762×	body	320	valid
322.0ms	2315×	body	80	valid
108.0ms	357×	body	160	valid

Details

sample171.0ms

simplify51.0ms

prune6.0ms

localize38.0ms

rewrite50.0ms

series375.0ms

simplify112.0ms

prune660.0ms

localize40.0ms

rewrite66.0ms

series460.0ms

simplify44.0ms

prune954.0ms

localize45.0ms

rewrite73.0ms

series546.0ms

simplify46.0ms

prune1.0s

localize42.0ms

rewrite39.0ms

series475.0ms

simplify70.0ms

prune597.0ms

regimes277.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.2s

Profiling