Details

sample30.0ms

Algorithm

intervals

Results

6.0ms	184×	body	80	valid
5.0ms	37×	body	1280	valid
4.0ms	256×	pre	80	true
2.0ms	21×	body	640	valid
1.0ms	9×	body	320	valid
0.0ms	5×	body	160	valid

simplify75.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	6
1	34	6
2	52	6
3	73	6
4	123	6
5	172	6
6	224	6
7	261	6
8	323	6
9	411	6
10	532	6
11	612	6
12	654	6
13	697	6
14	922	6
15	980	6
16	1007	6
17	1027	6
18	1035	6
19	1035	6

prune2.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: 16.7b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
1.3b	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
25×	`times-frac`
19×	`distribute-lft-out`
14×	`add-cube-cbrt`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
2×	`pow1` `flip3-+` `div-sub` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3--` `frac-2neg` `div-exp` `clear-num` `sum-log` `flip--` `div-inv`

Counts

2 → 65

Calls

2 calls:

10.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
19.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

series116.0ms

Counts

2 → 6

Calls

2 calls:

51.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
65.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

simplify38.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	320	535
1	1022	510
2	5001	502

prune139.0ms

Filtered

71 candidates to 46 candidates (64.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	60	11	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	11	72

Merged error: 16.2b

Counts

72 → 11

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ alpha (+ (+ alpha beta) 2.0))
0.0b	(/ beta (+ (+ alpha beta) 2.0))
1.4b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

65×	`*-un-lft-identity`
31×	`times-frac`
28×	`add-sqr-sqrt`
24×	`distribute-lft-out`
23×	`add-cube-cbrt`
10×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
5×	`add-log-exp`
4×	`associate-/r/`
3×	`pow1`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv` `difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--`

Counts

3 → 89

Calls

3 calls:

8.0ms	(/ alpha (+ (+ alpha beta) 2.0))
8.0ms	(/ beta (+ (+ alpha beta) 2.0))
14.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series177.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ alpha (+ (+ alpha beta) 2.0))
52.0ms	(/ beta (+ (+ alpha beta) 2.0))
79.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify161.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	328	582
1	1072	553
2	4874	544
3	5001	544

prune200.0ms

Filtered

98 candidates to 66 candidates (67.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	9	1	10
Picked	1	0	1
Done	0	0	0
Total	102	7	109

Merged error: 2.5b

Counts

109 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt beta)
0.6b	(cbrt beta)
0.6b	(cbrt beta)
1.4b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
9×	`cbrt-prod` `*-un-lft-identity`
7×	`add-cube-cbrt`
6×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`pow1/3`
2×	`difference-of-squares`
1×	`sub-neg` `flip3--` `times-frac` `diff-log` `flip--` `distribute-lft-out--`

Counts

4 → 48

Calls

4 calls:

1.0ms	(cbrt beta)
1.0ms	(cbrt beta)
1.0ms	(cbrt beta)
13.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series634.0ms

Counts

4 → 12

Calls

4 calls:

184.0ms	(cbrt beta)
190.0ms	(cbrt beta)
182.0ms	(cbrt beta)
78.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify48.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 3 (43.0ms)

Iter	Nodes	Cost
0	165	261
1	394	243
2	1370	230
3	5002	228

prune163.0ms

Filtered

60 candidates to 50 candidates (83.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	60	7	67

Merged error: 2.5b

Counts

67 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ alpha (+ (+ alpha beta) 2.0))
0.0b	(/ beta (+ (+ alpha beta) 2.0))
1.4b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
4.1b	(log (exp (/ beta (+ (+ alpha beta) 2.0))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

91×	`*-un-lft-identity`
46×	`times-frac`
39×	`add-sqr-sqrt`
34×	`add-cube-cbrt`
33×	`distribute-lft-out`
22×	`log-pow`
21×	`exp-prod`
10×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/r/` `associate-/l*` `add-log-exp`
5×	`pow1`
3×	`log-prod` `flip3-+` `flip-+` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `rem-log-exp` `flip--` `distribute-lft-out--`

Counts

4 → 122

Calls

4 calls:

8.0ms	(/ alpha (+ (+ alpha beta) 2.0))
8.0ms	(/ beta (+ (+ alpha beta) 2.0))
13.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
15.0ms	(log (exp (/ beta (+ (+ alpha beta) 2.0))))

series228.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(/ alpha (+ (+ alpha beta) 2.0))
53.0ms	(/ beta (+ (+ alpha beta) 2.0))
82.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
47.0ms	(log (exp (/ beta (+ (+ alpha beta) 2.0))))

simplify48.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	378	746
1	1141	704
2	5001	693

prune249.0ms

Filtered

134 candidates to 91 candidates (67.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	134	7	141

Merged error: 2.5b

Counts

141 → 7

regimes118.0ms

Accuracy

99% (0.1b remaining)

Error of 3.1b against oracle of 3.0b and baseline of 15.7b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	38
1	41	38

end0.0ms

sample720.0ms

Algorithm

intervals

Results

184.0ms	5917×	body	80	valid
131.0ms	8000×	pre	80	true
125.0ms	837×	body	1280	valid
82.0ms	703×	body	640	valid
32.0ms	369×	body	320	valid
12.0ms	174×	body	160	valid

Details

sample30.0ms

simplify75.0ms

prune2.0ms

localize8.0ms

rewrite32.0ms

series116.0ms

simplify38.0ms

prune139.0ms

localize9.0ms

rewrite33.0ms

series177.0ms

simplify161.0ms

prune200.0ms

localize12.0ms

rewrite18.0ms

series634.0ms

simplify48.0ms

prune163.0ms

localize12.0ms

rewrite48.0ms

series228.0ms

simplify48.0ms

prune249.0ms

regimes118.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample720.0ms

Profiling