Details

sample20.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 99.993956%

Space saved by search: 99.993956%

Guaranteed chance to sample good point: 100%

Results

5.0ms	256×	pre	80	true
4.0ms	256×	body	80	valid

simplify13.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	25	3
2	53	3
3	80	3
4	98	3
5	107	3
6	113	3
7	113	3

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

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (+ a b) (+ a b))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
8×	`pow1`
7×	`add-sqr-sqrt`
6×	`flip3-+` `swap-sqr` `flip-+` `distribute-lft-out`
5×	`add-cube-cbrt`
4×	`frac-times` `associate-r` `associate-l`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-r/` `associate-l/`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 40

Calls

1 calls:

8.0ms

(* (+ a b) (+ a b))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (+ a b) (+ a b))

simplify35.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	189	213
1	902	188
2	5001	170

prune35.0ms

Filtered

19 candidates to 43 candidates (-126.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	2	44

Merged error: 0.0b

Counts

44 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* a (+ a b)) (* b (+ a b)))
0.0b	(* b (+ a b))
0.0b	(* a (+ a b))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-*r/`
11×	`add-sqr-sqrt` `*-un-lft-identity`
8×	`associate-r`
7×	`pow1` `add-exp-log` `add-cube-cbrt` `flip3-+` `add-cbrt-cube` `flip-+`
6×	`associate-l`
5×	`add-log-exp`
4×	`distribute-rgt-in` `distribute-lft-in` `frac-add`
2×	`associate-+l+` `associate-+r+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`
1×	`+-commutative` `distribute-rgt-out` `sum-log`

Counts

3 → 66

Calls

3 calls:

6.0ms	(+ (* a (+ a b)) (* b (+ a b)))
6.0ms	(* b (+ a b))
6.0ms	(* a (+ a b))

series15.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(+ (* a (+ a b)) (* b (+ a b)))
4.0ms	(* b (+ a b))
5.0ms	(* a (+ a b))

simplify59.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	349	386
1	1962	333
2	5001	331

prune62.0ms

Filtered

49 candidates to 75 candidates (-53.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	75	2	77

Merged error: 0b

Counts

77 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* b (+ a (+ a b)))
0.0b	(+ a (+ a b))
0.0b	(+ (* a a) (* b (+ a (+ a b))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
10×	`add-log-exp`
7×	`add-sqr-sqrt`
6×	`distribute-lft-out`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-r` `add-cbrt-cube`
4×	`sum-log`
3×	`associate-+r+` `flip3-+` `associate-l` `flip-+`
2×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `associate-*r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 52

Calls

3 calls:

7.0ms	(* b (+ a (+ a b)))
5.0ms	(+ a (+ a b))
4.0ms	(+ (* a a) (* b (+ a (+ a b))))

series16.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* b (+ a (+ a b)))
4.0ms	(+ a (+ a b))
6.0ms	(+ (* a a) (* b (+ a (+ a b))))

simplify41.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	252	301
1	1187	261
2	5001	244

prune47.0ms

Filtered

40 candidates to 61 candidates (-52.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	61	2	63

Merged error: 0b

Counts

63 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(pow (+ a b) 6)
0.5b	(cbrt (pow (+ a b) 6))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity`
8×	`cbrt-prod` `unpow-prod-down`
6×	`add-sqr-sqrt` `add-cube-cbrt`
3×	`pow1` `add-exp-log` `pow-unpow`
2×	`add-cbrt-cube` `distribute-lft-out` `add-log-exp` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow1/3` `pow-exp`

Counts

2 → 34

Calls

2 calls:

4.0ms	(pow (+ a b) 6)
4.0ms	(cbrt (pow (+ a b) 6))

series20.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(pow (+ a b) 6)
4.0ms	(cbrt (pow (+ a b) 6))

simplify137.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 3 (133.0ms)

Iter	Nodes	Cost
0	159	206
1	592	184
2	3169	179
3	5002	161

prune42.0ms

Filtered

24 candidates to 40 candidates (-66.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	40	2	42

Merged error: 0b

Counts

42 → 2

regimes95.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

sample485.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 99.993956%

Space saved by search: 99.993956%

Guaranteed chance to sample good point: 100%

Results

173.0ms	8000×	pre	80	true
125.0ms	8000×	body	80	valid

Details

sample20.0ms

simplify13.0ms

prune3.0ms

localize3.0ms

rewrite9.0ms

series4.0ms

simplify35.0ms

prune35.0ms

localize6.0ms

rewrite20.0ms

series15.0ms

simplify59.0ms

prune62.0ms

localize9.0ms

rewrite18.0ms

series16.0ms

simplify41.0ms

prune47.0ms

localize6.0ms

rewrite9.0ms

series20.0ms

simplify137.0ms

prune42.0ms

regimes95.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample485.0ms

Profiling