Details

analyze2.0ms

Algorithm

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

sample26.0ms

Algorithm

intervals

Results

9.0ms	256×	pre	80	true
7.0ms	256×	body	80	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	69	7
1	69	7

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

localize5.0ms

Local error

Found 1 expressions with local error:

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

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

13.0ms

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

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify26.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5592	356

prune40.0ms

Filtered

22 candidates to 43 candidates (-95.5%)

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

localize5.0ms

Local error

Found 3 expressions with local error:

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

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

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

series14.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify43.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4841	616
1	4841	616

prune62.0ms

Filtered

50 candidates to 75 candidates (-50.0%)

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

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 24

Calls

1 calls:

8.0ms

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

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

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

simplify33.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4987	216
1	4987	216

prune23.0ms

Filtered

16 candidates to 27 candidates (-68.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	27	2	29

Merged error: 0b

Counts

29 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.3b	(* (pow (sqrt (+ a b)) 3) (sqrt (+ a b)))
0.8b	(pow (sqrt (+ a b)) 3)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
30×	`sqrt-prod`
24×	`*-un-lft-identity`
20×	`associate-l`
18×	`unpow-prod-down` `cube-prod`
14×	`add-cube-cbrt` `sqrt-div`
12×	`unswap-sqr`
8×	`add-exp-log` `cube-div`
7×	`flip3-+` `associate-r` `flip-+`
5×	`pow1` `add-cbrt-cube` `distribute-lft-out`
4×	`frac-times` `sqr-pow`
3×	`pow-unpow` `pow-pow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `unpow3` `associate-r/` `associate-l/` `pow-exp` `add-log-exp`
1×	`sqrt-pow1` `pow-plus` `pow1/2` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

2 → 97

Calls

2 calls:

12.0ms	(* (pow (sqrt (+ a b)) 3) (sqrt (+ a b)))
5.0ms	(pow (sqrt (+ a b)) 3)

series24.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(* (pow (sqrt (+ a b)) 3) (sqrt (+ a b)))
15.0ms	(pow (sqrt (+ a b)) 3)

simplify48.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4922	899
1	4922	899

prune78.0ms

Filtered

52 candidates to 103 candidates (-98.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	103	2	105

Merged error: 0b

Counts

105 → 2

regimes93.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	10	11
1	10	11

end0.0ms

sample397.0ms

Algorithm

intervals

Results

170.0ms	8000×	pre	80	true
116.0ms	8000×	body	80	valid

Details

analyze2.0ms

sample26.0ms

simplify5.0ms

prune4.0ms

localize5.0ms

rewrite15.0ms

series6.0ms

simplify26.0ms

prune40.0ms

localize5.0ms

rewrite21.0ms

series14.0ms

simplify43.0ms

prune62.0ms

localize6.0ms

rewrite9.0ms

series5.0ms

simplify33.0ms

prune23.0ms

localize6.0ms

rewrite21.0ms

series24.0ms

simplify48.0ms

prune78.0ms

regimes93.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample397.0ms

Profiling