Details

sample27.0ms

Algorithm

intervals

Results

6.0ms	191×	body	80	valid
4.0ms	256×	pre	80	true
4.0ms	25×	body	1280	valid
2.0ms	18×	body	640	valid
1.0ms	16×	body	320	valid
0.0ms	6×	body	160	valid

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

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: 15.1b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

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

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

9.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
16.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

series22.0ms

Counts

2 → 6

Calls

2 calls:

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

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

prune114.0ms

Filtered

46 candidates to 71 candidates (-54.3%)

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: 14.3b

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

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

series27.0ms

Counts

3 → 9

Calls

3 calls:

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

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

prune145.0ms

Filtered

66 candidates to 98 candidates (-48.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	11	0	11
Picked	1	0	1
Done	0	0	0
Total	104	6	110

Merged error: 2.7b

Counts

110 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.8b	(cbrt (+ (+ alpha beta) 2.0))
0.8b	(cbrt (+ (+ alpha beta) 2.0))
0.8b	(cbrt (+ (+ alpha beta) 2.0))
2.5b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 60

Calls

4 calls:

5.0ms	(cbrt (+ (+ alpha beta) 2.0))
5.0ms	(cbrt (+ (+ alpha beta) 2.0))
5.0ms	(cbrt (+ (+ alpha beta) 2.0))
12.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series63.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(cbrt (+ (+ alpha beta) 2.0))
17.0ms	(cbrt (+ (+ alpha beta) 2.0))
18.0ms	(cbrt (+ (+ alpha beta) 2.0))
11.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify66.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (58.0ms)

Iter	Nodes	Cost
0	278	606
1	720	576
2	2734	500
3	5001	491

prune160.0ms

Filtered

53 candidates to 72 candidates (-35.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	68	4	72
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	73	5	78

Merged error: 2.7b

Counts

78 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

0.8b	(cbrt (+ (+ alpha beta) 2.0))
0.8b	(cbrt (+ (+ alpha beta) 2.0))
2.3b	(exp (log (cbrt (+ (+ alpha beta) 2.0))))
2.5b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 68

Calls

4 calls:

5.0ms	(cbrt (+ (+ alpha beta) 2.0))
6.0ms	(cbrt (+ (+ alpha beta) 2.0))
7.0ms	(exp (log (cbrt (+ (+ alpha beta) 2.0))))
14.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series64.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(cbrt (+ (+ alpha beta) 2.0))
17.0ms	(cbrt (+ (+ alpha beta) 2.0))
16.0ms	(exp (log (cbrt (+ (+ alpha beta) 2.0))))
11.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify68.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 3 (60.0ms)

Iter	Nodes	Cost
0	320	649
1	780	619
2	2815	535
3	5002	518

prune173.0ms

Filtered

57 candidates to 80 candidates (-40.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	74	6	80
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	75	10	85

Merged error: 2.7b

Counts

85 → 10

regimes172.0ms

Accuracy

71.7% (3.9b remaining)

Error of 6.9b against oracle of 3.0b and baseline of 16.6b

bsearch21.0ms

Steps

Iters	Range		Point
9	1.0732321029955003	76424.71368828748	58106.023658274906

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	52
1	50	52

end0.0ms

sample774.0ms

Algorithm

intervals

Results

179.0ms	5853×	body	80	valid
126.0ms	847×	body	1280	valid
120.0ms	8000×	pre	80	true
86.0ms	706×	body	640	valid
39.0ms	389×	body	320	valid
12.0ms	205×	body	160	valid

Details

sample27.0ms

simplify69.0ms

prune3.0ms

localize8.0ms

rewrite28.0ms

series22.0ms

simplify36.0ms

prune114.0ms

localize9.0ms

rewrite29.0ms

series27.0ms

simplify154.0ms

prune145.0ms

localize17.0ms

rewrite28.0ms

series63.0ms

simplify66.0ms

prune160.0ms

localize20.0ms

rewrite34.0ms

series64.0ms

simplify68.0ms

prune173.0ms

regimes172.0ms

bsearch21.0ms

simplify2.0ms

end0.0ms

sample774.0ms

Profiling