Details

sample65.0ms

Algorithm

intervals

Results

48.0ms	124×	body	10240	exit
6.0ms	256×	body	80	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	5
1	7	5

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

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (exp a) (exp b))
0.8b	(/ (exp a) (+ (exp a) (exp b)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity`
12×	`times-frac`
11×	`add-sqr-sqrt` `add-cube-cbrt`
5×	`add-exp-log` `distribute-lft-out`
4×	`associate-/r*` `add-cbrt-cube` `add-log-exp`
3×	`associate-/l*`
2×	`pow1` `flip3-+` `div-exp` `associate-/r/` `flip-+`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `clear-num` `sum-log` `div-inv`

Counts

2 → 46

Calls

2 calls:

4.0ms	(+ (exp a) (exp b))
7.0ms	(/ (exp a) (+ (exp a) (exp b)))

series55.0ms

Counts

2 → 6

Calls

2 calls:

20.0ms	(+ (exp a) (exp b))
35.0ms	(/ (exp a) (+ (exp a) (exp b)))

simplify97.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	163	388
1	498	362
2	1221	360
3	3562	360
4	5001	360

prune90.0ms

Filtered

52 candidates to 37 candidates (28.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	49	3	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	3	53

Merged error: 0.7b

Counts

53 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (exp a) (exp b))
0.0b	(/ 1 (/ (+ (exp a) (exp b)) (exp a)))
0.7b	(/ (+ (exp a) (exp b)) (exp a))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
102×	`*-un-lft-identity`
63×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
21×	`add-exp-log`
19×	`distribute-lft-out`
14×	`div-exp`
13×	`associate-/l*`
12×	`associate-/r/`
10×	`add-cbrt-cube`
6×	`div-inv`
5×	`add-log-exp`
4×	`pow1` `cbrt-undiv` `clear-num` `associate-/l/`
3×	`rec-exp` `frac-2neg` `flip3-+` `1-exp` `flip-+` `remove-double-div`
1×	`+-commutative` `pow-flip` `sum-log` `inv-pow`

Counts

3 → 151

Calls

3 calls:

4.0ms	(+ (exp a) (exp b))
12.0ms	(/ 1 (/ (+ (exp a) (exp b)) (exp a)))
8.0ms	(/ (+ (exp a) (exp b)) (exp a))

series93.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(+ (exp a) (exp b))
40.0ms	(/ 1 (/ (+ (exp a) (exp b)) (exp a)))
32.0ms	(/ (+ (exp a) (exp b)) (exp a))

simplify56.0ms

Algorithm

egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	415	1492
1	1719	1361
2	5001	1252

prune181.0ms

Filtered

160 candidates to 78 candidates (51.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	158	2	160
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	160	3	163

Merged error: 0.7b

Counts

163 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (exp a) (exp b))
0.0b	(pow (/ (exp a) (+ (exp a) (exp b))) 3)
0.6b	(cbrt (pow (/ (exp a) (+ (exp a) (exp b))) 3))
0.8b	(/ (exp a) (+ (exp a) (exp b)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

54×	`*-un-lft-identity`
36×	`unpow-prod-down` `times-frac`
31×	`add-sqr-sqrt` `add-cube-cbrt`
23×	`cbrt-prod`
11×	`add-exp-log` `distribute-lft-out`
9×	`add-cbrt-cube`
6×	`associate-/r/` `add-log-exp`
5×	`pow1`
4×	`pow-unpow` `flip3-+` `div-exp` `associate-/r*` `flip-+`
3×	`pow-exp` `div-inv` `associate-/l*`
2×	`cbrt-undiv` `unpow3` `rem-cbrt-cube` `rem-cube-cbrt` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `frac-2neg` `pow1/3` `clear-num` `sum-log`

Counts

4 → 116

Calls

4 calls:

4.0ms	(+ (exp a) (exp b))
8.0ms	(pow (/ (exp a) (+ (exp a) (exp b))) 3)
9.0ms	(cbrt (pow (/ (exp a) (+ (exp a) (exp b))) 3))
7.0ms	(/ (exp a) (+ (exp a) (exp b)))

series152.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(+ (exp a) (exp b))
62.0ms	(pow (/ (exp a) (+ (exp a) (exp b))) 3)
35.0ms	(cbrt (pow (/ (exp a) (+ (exp a) (exp b))) 3))
35.0ms	(/ (exp a) (+ (exp a) (exp b)))

simplify49.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	383	1106
1	1409	1077
2	5001	1055

prune219.0ms

Filtered

128 candidates to 82 candidates (35.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	127	4	131

Merged error: 0.7b

Counts

131 → 4

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (+ (* 1/4 a) 1/2) (* 1/4 b))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
6×	`add-sqr-sqrt` `distribute-lft-out--` `add-log-exp`
5×	`associate-l`
4×	`distribute-lft-out`
2×	`diff-log` `associate--l+` `difference-of-squares`
1×	`pow1` `add-exp-log` `+-commutative` `add-cube-cbrt` `sub-neg` `flip3--` `sum-log` `add-cbrt-cube` `flip--` `unswap-sqr`

Counts

1 → 23

Calls

1 calls:

15.0ms

(- (+ (* 1/4 a) 1/2) (* 1/4 b))

series23.0ms

Counts

1 → 3

Calls

1 calls:

23.0ms

(- (+ (* 1/4 a) 1/2) (* 1/4 b))

simplify57.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 3 (49.0ms)

Iter	Nodes	Cost
0	109	161
1	330	142
2	1503	138
3	5002	134

prune24.0ms

Filtered

26 candidates to 15 candidates (42.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	26	4	30

Merged error: 0.7b

Counts

30 → 4

regimes94.0ms

Accuracy

0% (0.1b remaining)

Error of 0.6b against oracle of 0.5b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	6
1	11	6

end0.0ms

sample1.7s

Algorithm

intervals

Results

1.3s	3528×	body	10240	exit
198.0ms	8000×	body	80	valid