Details

sample197.0ms

Algorithm

intervals

Results

95.0ms	78×	body	1280	valid
49.0ms	57×	body	640	valid
15.0ms	27×	body	320	valid
13.0ms	75×	body	80	valid
7.0ms	19×	body	160	valid

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

localize32.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	(- 3.0 (sqrt 5.0))
1.6b	(- (cos x) (cos y))

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×	`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:

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

series46.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)))
0.0ms	(- 3.0 (sqrt 5.0))
10.0ms	(- (cos x) (cos y))

simplify64.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 1 (13.0ms)

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

prune293.0ms

Filtered

104 candidates to 70 candidates (32.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	97	7	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	7	105

Merged error: 0.3b

Counts

105 → 7

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))) (- (cos x) (cos y)))
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.6b	(- (cos x) (cos y))

rewrite62.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×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp` `difference-of-squares`
4×	`sqrt-prod` `distribute-lft-out--`
3×	`*-commutative`
2×	`times-frac` `diff-cos` `unswap-sqr`
1×	`diff-log`

Counts

4 → 133

Calls

4 calls:

22.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
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))

series84.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
23.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))

simplify118.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	848	2481
1	4931	2282
2	5002	2282

prune502.0ms

Filtered

145 candidates to 101 candidates (30.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	140	5	145
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	142	10	152

Merged error: 0.3b

Counts

152 → 10

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite202.0ms

Algorithm

rewrite-expression-head

Rules

2188×	`frac-times`
1461×	`flip3--` `flip--`
1430×	`associate-*r/`
1404×	`cbrt-div`
782×	`associate-*l/`
16×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
11×	`pow1`
10×	`add-log-exp`
8×	`add-cube-cbrt`
6×	`add-exp-log` `pow1/3`
4×	`cbrt-prod` `swap-sqr` `associate-r` `associate-l` `add-cbrt-cube`
3×	`sub-neg` `diff-log` `diff-cos` `distribute-lft-out--` `difference-of-squares`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 804

Calls

4 calls:

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

series667.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify470.0ms

Algorithm

egg-herbie

Counts

816 → 816

Iterations

Useful iterations: 1 (46.0ms)

Iter	Nodes	Cost
0	2151	61944
1	5001	61833

prune9.3s

Filtered

816 candidates to 437 candidates (46.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	814	2	816
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	817	9	826

Merged error: 0.2b

Counts

826 → 9

localize58.0ms

Local error

Found 4 expressions with local error:

1.6b	(- (cos x) (cos y))
1.6b	(- (cos x) (cos y))
1.6b	(- (cos x) (cos y))
1.6b	(- (cos x) (cos y))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `diff-cos` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 60

Calls

4 calls:

5.0ms	(- (cos x) (cos y))
5.0ms	(- (cos x) (cos y))
5.0ms	(- (cos x) (cos y))
5.0ms	(- (cos x) (cos y))

series40.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (cos x) (cos y))
9.0ms	(- (cos x) (cos y))
12.0ms	(- (cos x) (cos y))
9.0ms	(- (cos x) (cos y))

simplify137.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (9.0ms)

Iter	Nodes	Cost
0	101	424
1	250	396
2	722	392
3	3411	392
4	5001	392

prune638.0ms

Filtered

72 candidates to 52 candidates (27.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	72	9	81

Merged error: 0.2b

Counts

81 → 9

regimes214.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	140
1	55	140

end0.0ms

sample6.4s

Algorithm

intervals

Results

3.5s	2765×	body	1280	valid
1.6s	1838×	body	640	valid
453.0ms	757×	body	320	valid
416.0ms	2299×	body	80	valid
134.0ms	341×	body	160	valid

Details

sample197.0ms

simplify50.0ms

prune5.0ms

localize32.0ms

rewrite41.0ms

series46.0ms

simplify64.0ms

prune293.0ms

localize36.0ms

rewrite62.0ms

series84.0ms

simplify118.0ms

prune502.0ms

localize46.0ms

rewrite202.0ms

series667.0ms

simplify470.0ms

prune9.3s

localize58.0ms

rewrite20.0ms

series40.0ms

simplify137.0ms

prune638.0ms

regimes214.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample6.4s

Profiling