Details

analyze870.0ms

Algorithm: search

sample236.0ms

Algorithm

intervals

Results

120.0ms	80×	body	1280	valid
60.0ms	63×	body	640	valid
21.0ms	30×	body	320	valid
16.0ms	75×	body	80	valid
4.0ms	8×	body	160	valid

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

prune5.0ms

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

localize37.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)))
1.0b	(- 3.0 (sqrt 5.0))
1.4b	(- (cos x) (cos y))

rewrite43.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)))
14.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:

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

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

prune343.0ms

Filtered

70 candidates to 104 candidates (-48.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	94	10	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	10	105

Merged error: 0.3b

Counts

105 → 10

localize44.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.4b	(- (cos x) (cos y))
3.3b	(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))
4.0ms	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

series41.0ms

Counts

4 → 10

Calls

4 calls:

17.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
9.0ms	(- (cos x) (cos y))
14.0ms	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

simplify128.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (30.0ms)

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

prune286.0ms

Filtered

61 candidates to 89 candidates (-45.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	87	2	89
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	88	11	99

Merged error: 0.3b

Counts

99 → 11

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.4b	(- (cos x) (cos y))
2.5b	(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 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))
4.0ms	(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

series48.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify46.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	422	818
1	1443	744
2	5001	743

prune294.0ms

Filtered

61 candidates to 89 candidates (-45.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	85	4	89
Fresh	2	7	9
Picked	1	0	1
Done	1	0	1
Total	89	11	100

Merged error: 0.2b

Counts

100 → 11

localize49.0ms

Local error

Found 4 expressions with local error:

1.0b	(- 3.0 (sqrt 5.0))
1.4b	(- (cos x) (cos y))
2.5b	(log (exp (* (log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))) (- (sin y) (/ (sin x) 16.0)))))
3.3b	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

14×	`log-prod`
12×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
9×	`add-log-exp`
8×	`exp-sum`
6×	`pow1` `add-cube-cbrt` `sub-neg` `log-pow`
4×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube`
3×	`difference-of-squares`
2×	`exp-prod` `flip3--` `exp-to-pow` `diff-log` `rem-log-exp` `flip--` `distribute-lft-out--`
1×	`sqrt-prod` `diff-cos`

Counts

4 → 66

Calls

4 calls:

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

series48.0ms

Counts

4 → 10

Calls

4 calls:

0.0ms	(- 3.0 (sqrt 5.0))
10.0ms	(- (cos x) (cos y))
25.0ms	(log (exp (* (log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))) (- (sin y) (/ (sin x) 16.0)))))
13.0ms	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

simplify88.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	339	768
1	899	670
2	2952	664
3	5001	664

prune215.0ms

Filtered

55 candidates to 76 candidates (-38.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	76	11	87

Merged error: 0.2b

Counts

87 → 11

regimes217.0ms

Accuracy

0% (0.2b 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	45	34
1	45	34

end0.0ms

analyze895.0ms

Algorithm: search

sample7.2s

Algorithm

intervals

Results

4.0s	2786×	body	1280	valid
1.7s	1801×	body	640	valid
543.0ms	786×	body	320	valid
486.0ms	2286×	body	80	valid
152.0ms	341×	body	160	valid

Details

analyze870.0ms

sample236.0ms

simplify55.0ms

prune5.0ms

localize37.0ms

rewrite43.0ms

series46.0ms

simplify73.0ms

prune343.0ms

localize44.0ms

rewrite25.0ms

series41.0ms

simplify128.0ms

prune286.0ms

localize41.0ms

rewrite25.0ms

series48.0ms

simplify46.0ms

prune294.0ms

localize49.0ms

rewrite17.0ms

series48.0ms

simplify88.0ms

prune215.0ms

regimes217.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze895.0ms

sample7.2s

Profiling