Details

sample50.0ms

Algorithm

intervals

Results

10.0ms	184×	body	80	valid
10.0ms	34×	body	1280	valid
7.0ms	256×	pre	80	true
4.0ms	17×	body	640	valid
3.0ms	15×	body	320	valid
1.0ms	6×	body	160	valid

simplify81.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.9b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.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))
17.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

series106.0ms

Counts

2 → 6

Calls

2 calls:

44.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
62.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

simplify35.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (28.0ms)

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

prune142.0ms

Filtered

71 candidates to 46 candidates (64.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	59	12	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	12	72

Merged error: 16.4b

Counts

72 → 12

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.7b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

rewrite30.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:

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

series170.0ms

Counts

3 → 9

Calls

3 calls:

49.0ms	(/ alpha (+ (+ alpha beta) 2.0))
44.0ms	(/ beta (+ (+ alpha beta) 2.0))
76.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify155.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (28.0ms)

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

prune183.0ms

Filtered

98 candidates to 66 candidates (67.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	10	1	11
Picked	1	0	1
Done	0	0	0
Total	105	5	110

Merged error: 1.8b

Counts

110 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

1.7b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
8.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
8.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
8.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

78×	`*-un-lft-identity`
63×	`cbrt-prod`
46×	`times-frac`
36×	`add-sqr-sqrt`
31×	`add-cube-cbrt`
27×	`distribute-lft-out`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`cbrt-div` `flip3-+` `pow1/3` `flip-+` `div-inv`
2×	`difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--`

Counts

4 → 105

Calls

4 calls:

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

series506.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
140.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
146.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
142.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))

simplify126.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 3 (108.0ms)

Iter	Nodes	Cost
0	333	1077
1	892	1029
2	4044	992
3	5001	980

prune290.0ms

Filtered

117 candidates to 86 candidates (73.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	117	5	122

Merged error: 1.8b

Counts

122 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
0.1b	(pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3)
1.7b	(+ (pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
2.4b	(- (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

163×	`*-un-lft-identity`
76×	`add-sqr-sqrt` `times-frac`
53×	`distribute-lft-out`
39×	`add-cube-cbrt`
35×	`unpow-prod-down` `cube-prod`
18×	`difference-of-squares`
17×	`distribute-lft-out--`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
6×	`associate-/r/`
5×	`pow1` `associate-/r` `associate-/l`
4×	`flip3-+` `flip-+`
3×	`pow-unpow` `div-inv`
2×	`cbrt-undiv` `flip3--` `div-sub` `div-exp` `pow-exp` `flip--` `associate-/l/` `rem-cube-cbrt`
1×	`+-commutative` `cube-div` `associate--l-` `cube-mult` `pow-to-exp` `sub-neg` `pow-pow` `frac-2neg` `diff-log` `unpow3` `clear-num` `sum-log` `sum-cubes` `sqr-pow`

Counts

4 → 167

Calls

4 calls:

10.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
13.0ms	(pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3)
52.0ms	(+ (pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
17.0ms	(- (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

series476.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
76.0ms	(pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3)
246.0ms	(+ (pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
104.0ms	(- (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

simplify96.0ms

Algorithm

egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	714	1598
1	3162	1464
2	5002	1443

prune330.0ms

Filtered

179 candidates to 90 candidates (50.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	178	1	179
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	179	5	184

Merged error: 1.8b

Counts

184 → 5

regimes97.0ms

Accuracy

99.3% (0.1b remaining)

Error of 3.0b against oracle of 3.0b and baseline of 15.9b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	37
1	37	37

end0.0ms

sample669.0ms

Algorithm

intervals

Results

168.0ms	5826×	body	80	valid
119.0ms	867×	body	1280	valid
119.0ms	8000×	pre	80	true
82.0ms	714×	body	640	valid
32.0ms	391×	body	320	valid
11.0ms	202×	body	160	valid

Details

sample50.0ms

simplify81.0ms

prune2.0ms

localize11.0ms

rewrite29.0ms

series106.0ms

simplify35.0ms

prune142.0ms

localize9.0ms

rewrite30.0ms

series170.0ms

simplify155.0ms

prune183.0ms

localize12.0ms

rewrite41.0ms

series506.0ms

simplify126.0ms

prune290.0ms

localize15.0ms

rewrite100.0ms

series476.0ms

simplify96.0ms

prune330.0ms

regimes97.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample669.0ms

Profiling