Details

sample30.0ms

Algorithm

intervals

Results

6.0ms	180×	body	80	valid
4.0ms	256×	pre	80	true
4.0ms	31×	body	640	valid
4.0ms	24×	body	1280	valid
1.0ms	14×	body	320	valid
0.0ms	7×	body	160	valid

simplify65.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

prune3.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: 17.7b

Counts

2 → 1

localize12.0ms

Local error

Found 2 expressions with local error:

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

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

series20.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify34.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (27.0ms)

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

prune132.0ms

Filtered

71 candidates to 46 candidates (35.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	57	14	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	14	72

Merged error: 16.9b

Counts

72 → 14

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 137

Calls

4 calls:

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

series39.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify55.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	544	1336
1	1910	1268
2	5002	1268

prune251.0ms

Filtered

149 candidates to 103 candidates (30.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	139	10	149
Fresh	12	1	13
Picked	1	0	1
Done	0	0	0
Total	152	11	163

Merged error: 3.2b

Counts

163 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

70×	`*-un-lft-identity`
36×	`add-sqr-sqrt`
32×	`times-frac`
26×	`add-cube-cbrt`
24×	`distribute-lft-out`
10×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube`
7×	`log-pow`
6×	`exp-prod` `associate-/l*` `add-log-exp`
5×	`pow1` `log-prod`
4×	`associate-/r/` `difference-of-squares`
2×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `div-exp` `exp-sum` `clear-num` `flip-+` `div-inv` `distribute-lft-out--`
1×	`log-div` `flip3--` `exp-diff` `diff-log` `rem-log-exp` `flip--`

Counts

4 → 110

Calls

4 calls:

7.0ms	(/ beta (+ (+ alpha beta) 2.0))
9.0ms	(/ alpha (+ (+ alpha beta) 2.0))
14.0ms	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
13.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series37.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ beta (+ (+ alpha beta) 2.0))
7.0ms	(/ alpha (+ (+ alpha beta) 2.0))
12.0ms	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
12.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify38.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	368	741
1	1178	696
2	5001	683

prune205.0ms

Filtered

122 candidates to 84 candidates (31.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	117	5	122
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	123	10	133

Merged error: 3.2b

Counts

133 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (+ (+ alpha beta) 2.0))
0.7b	(cbrt (+ (+ alpha beta) 2.0))
1.9b	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
1.9b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
18×	`add-sqr-sqrt`
10×	`cbrt-prod`
8×	`add-cube-cbrt`
7×	`log-pow`
6×	`exp-prod` `distribute-lft-out` `add-log-exp`
5×	`pow1` `log-prod`
4×	`add-exp-log` `cbrt-div` `add-cbrt-cube` `difference-of-squares`
2×	`sub-neg` `flip3-+` `times-frac` `pow1/3` `exp-sum` `flip-+` `distribute-lft-out--`
1×	`log-div` `flip3--` `exp-diff` `diff-log` `rem-log-exp` `flip--`

Counts

4 → 66

Calls

4 calls:

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

series59.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(cbrt (+ (+ alpha beta) 2.0))
17.0ms	(cbrt (+ (+ alpha beta) 2.0))
12.0ms	(log (exp (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
12.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify71.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 3 (61.0ms)

Iter	Nodes	Cost
0	317	611
1	826	572
2	2904	515
3	5001	509

prune175.0ms

Filtered

78 candidates to 58 candidates (25.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	74	4	78
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	78	10	88

Merged error: 3.2b

Counts

88 → 10

regimes156.0ms

Accuracy

77% (2.9b remaining)

Error of 5.7b against oracle of 2.8b and baseline of 15.6b

bsearch19.0ms

Steps

Iters	Range		Point
9	1086.6688043591546	263738786.5751301	261392098.7733233

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	26
1	35	26

end0.0ms

sample813.0ms

Algorithm

intervals

Results

188.0ms	5864×	body	80	valid
132.0ms	815×	body	1280	valid
124.0ms	8000×	pre	80	true
91.0ms	731×	body	640	valid
35.0ms	380×	body	320	valid
13.0ms	210×	body	160	valid

Details

sample30.0ms

simplify65.0ms

prune3.0ms

localize12.0ms

rewrite30.0ms

series20.0ms

simplify34.0ms

prune132.0ms

localize9.0ms

rewrite63.0ms

series39.0ms

simplify55.0ms

prune251.0ms

localize13.0ms

rewrite47.0ms

series37.0ms

simplify38.0ms

prune205.0ms

localize21.0ms

rewrite41.0ms

series59.0ms

simplify71.0ms

prune175.0ms

regimes156.0ms

bsearch19.0ms

simplify1.0ms

end0.0ms

sample813.0ms

Profiling