Details

sample257.0ms

Algorithm

intervals

Results

6.0ms	83×	body	1280	valid
4.0ms	184×	body	80	valid
3.0ms	45×	body	640	valid
1.0ms	28×	body	320	valid
0.0ms	12×	body	160	valid

simplify119.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	4
1	37	4
2	103	4
3	220	4
4	387	4
5	527	4
6	803	4
7	1602	4
8	2861	4
9	4340	4
10	4803	4
11	5001	4

prune3.0ms

Filtered

1 candidates to 0 candidates (0.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: 39.6b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ x 1.0) (+ x 1.0))
3.9b	(- (* (+ x 1.0) (+ x 1.0)) 1.0)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
9×	`pow1` `add-sqr-sqrt`
6×	`add-cube-cbrt` `flip3-+` `swap-sqr` `flip-+` `distribute-lft-out`
4×	`add-exp-log` `frac-times` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-r/` `associate-l/` `associate--l+`
1×	`pow2` `sub-neg` `flip3--` `pow-plus` `diff-log` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`

Counts

2 → 55

Calls

2 calls:

8.0ms	(* (+ x 1.0) (+ x 1.0))
10.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)

series89.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(* (+ x 1.0) (+ x 1.0))
73.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)

simplify37.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	234	303
1	999	270
2	5001	261

prune64.0ms

Filtered

61 candidates to 34 candidates (55.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	2	62

Merged error: 0.0b

Counts

62 → 2

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (+ 2.0 x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 23

Calls

1 calls:

6.0ms

(* x (+ 2.0 x))

series43.0ms

Counts

1 → 3

Calls

1 calls:

43.0ms

(* x (+ 2.0 x))

simplify76.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	123	85
1	594	76
2	2937	76
3	5001	76

prune25.0ms

Filtered

26 candidates to 16 candidates (61.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	25	1	26
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	26	2	28

Merged error: 0b

Counts

28 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x 2.0) (pow x 2))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out` `unpow2`

Counts

1 → 12

Calls

1 calls:

5.0ms

(+ (* x 2.0) (pow x 2))

series53.0ms

Counts

1 → 3

Calls

1 calls:

53.0ms

(+ (* x 2.0) (pow x 2))

simplify46.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	89	77
1	335	63
2	1146	59
3	5001	59

prune21.0ms

Filtered

15 candidates to 11 candidates (73.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	15	2	17

Merged error: 0b

Counts

17 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ x 1.0) x)
0.0b	(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
3.9b	(- (* 1.0 (+ x 1.0)) 1.0)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 56

Calls

3 calls:

6.0ms	(* (+ x 1.0) x)
11.0ms	(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
6.0ms	(- (* 1.0 (+ x 1.0)) 1.0)

series115.0ms

Counts

3 → 9

Calls

3 calls:

40.0ms	(* (+ x 1.0) x)
52.0ms	(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
23.0ms	(- (* 1.0 (+ x 1.0)) 1.0)

simplify45.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	322	435
1	1377	404
2	5002	402

prune79.0ms

Filtered

65 candidates to 46 candidates (70.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	65	2	67

Merged error: 0b

Counts

67 → 2

regimes11.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	8	3
1	8	3

end0.0ms

sample535.0ms

Algorithm

intervals

Results

173.0ms	2245×	body	1280	valid
101.0ms	1676×	body	640	valid
94.0ms	5448×	body	80	valid
38.0ms	845×	body	320	valid
14.0ms	444×	body	160	valid

Details

sample257.0ms

simplify119.0ms

prune3.0ms

localize7.0ms

rewrite21.0ms

series89.0ms

simplify37.0ms

prune64.0ms

localize3.0ms

rewrite6.0ms

series43.0ms

simplify76.0ms

prune25.0ms

localize5.0ms

rewrite5.0ms

series53.0ms

simplify46.0ms

prune21.0ms

localize6.0ms

rewrite24.0ms

series115.0ms

simplify45.0ms

prune79.0ms

regimes11.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample535.0ms

Profiling