Details

sample225.0ms

Algorithm

intervals

Results

128.0ms	99×	body	1280	valid
47.0ms	53×	body	640	valid
13.0ms	71×	body	80	valid
10.0ms	18×	body	320	valid
6.0ms	15×	body	160	valid

simplify55.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 (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: 0.5b

Counts

2 → 1

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

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

series29.0ms

Counts

4 → 10

Calls

4 calls:

6.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
13.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
10.0ms	(- (cos x) (cos y))

simplify53.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	584	813
1	2075	753
2	5001	753

prune359.0ms

Filtered

112 candidates to 76 candidates (32.1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	98	14	112
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	14	113

Merged error: 0.2b

Counts

113 → 14

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(/ 1 (sqrt 2.0))
1.0b	(- 3.0 (sqrt 5.0))
2.3b	(- (cos x) (cos y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 106

Calls

4 calls:

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

series21.0ms

Counts

4 → 8

Calls

4 calls:

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

simplify43.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	422	678
1	1516	619
2	5001	593

prune297.0ms

Filtered

114 candidates to 64 candidates (43.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	110	4	114
Fresh	6	7	13
Picked	0	1	1
Done	0	0	0
Total	116	12	128

Merged error: 0.2b

Counts

128 → 12

localize53.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.5b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(/ 1 (sqrt 2.0))
2.3b	(- (cos x) (cos y))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 124

Calls

4 calls:

17.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
12.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms	(/ 1 (sqrt 2.0))
4.0ms	(- (cos x) (cos y))

series43.0ms

Counts

4 → 10

Calls

4 calls:

22.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
12.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(/ 1 (sqrt 2.0))
9.0ms	(- (cos x) (cos y))

simplify95.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	671	1242
1	3062	1128
2	5001	1103

prune419.0ms

Filtered

134 candidates to 77 candidates (42.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	131	3	134
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	133	13	146

Merged error: 0.2b

Counts

146 → 13

localize45.0ms

Local error

Found 4 expressions with local error:

0.8b	(pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)
1.0b	(/ 1 (sqrt 2.0))
2.3b	(- (cos x) (cos y))
6.7b	(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt` `*-un-lft-identity`
21×	`add-cube-cbrt`
18×	`times-frac`
12×	`sqrt-prod`
11×	`add-exp-log`
9×	`pow1` `add-cbrt-cube`
8×	`cbrt-prod`
6×	`associate-/r*` `add-log-exp`
4×	`cube-div` `associate-*r/`
3×	`pow-unpow` `flip3--` `pow-flip` `flip--` `associate-/l*`
2×	`cube-mult` `unpow-prod-down` `cbrt-div` `pow-pow` `unpow3` `cube-prod` `div-exp` `pow-exp` `rem-cube-cbrt` `sqr-pow`
1×	`cbrt-undiv` `pow-to-exp` `sub-neg` `rec-exp` `frac-2neg` `sqrt-pow1` `pow1/2` `pow1/3` `diff-log` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `rem-cbrt-cube` `cbrt-unprod` `div-inv` `diff-cos` `distribute-lft-out--` `inv-pow` `difference-of-squares`

Counts

4 → 103

Calls

4 calls:

11.0ms	(pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)
4.0ms	(/ 1 (sqrt 2.0))
4.0ms	(- (cos x) (cos y))
3.0ms	(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

series50.0ms

Counts

4 → 10

Calls

4 calls:

29.0ms	(pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)
0.0ms	(/ 1 (sqrt 2.0))
9.0ms	(- (cos x) (cos y))
13.0ms	(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

simplify57.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	495	836
1	1945	772
2	5001	742

prune325.0ms

Filtered

113 candidates to 67 candidates (40.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	3	8	11
Picked	1	0	1
Done	0	1	1
Total	114	12	126

Merged error: 0.1b

Counts

126 → 12

regimes217.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	58	42
1	58	42

end0.0ms

sample6.3s

Algorithm

intervals

Results

3.5s	2811×	body	1280	valid
1.5s	1794×	body	640	valid
456.0ms	783×	body	320	valid
403.0ms	2257×	body	80	valid
135.0ms	355×	body	160	valid

Details

sample225.0ms

simplify55.0ms

prune5.0ms

localize38.0ms

rewrite32.0ms

series29.0ms

simplify53.0ms

prune359.0ms

localize37.0ms

rewrite26.0ms

series21.0ms

simplify43.0ms

prune297.0ms

localize53.0ms

rewrite41.0ms

series43.0ms

simplify95.0ms

prune419.0ms

localize45.0ms

rewrite25.0ms

series50.0ms

simplify57.0ms

prune325.0ms

regimes217.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample6.3s

Profiling