Details

sample34.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 50%

Space saved by search: 50%

Guaranteed chance to sample good point: 99.993896%

Results

12.0ms	256×	body	80	valid
3.0ms	256×	pre	80	true

simplify30.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (28.0ms)

Iter	Nodes	Cost
0	31	12
1	168	11
2	965	9
3	5001	8

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 19.1b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* (* 2.0 i) (* 2.0 i)) 1.0)
18.5b	(/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
9×	`prod-exp` `cbrt-unprod`
6×	`cbrt-undiv` `div-exp`
4×	`add-log-exp`
3×	`add-sqr-sqrt`
2×	`pow1` `add-cube-cbrt` `flip3--` `-un-lft-identity` `associate-l/` `associate-/r/` `flip--`
1×	`sub-neg` `frac-2neg` `times-frac` `diff-log` `clear-num` `associate-/r` `div-inv` `associate-/l` `difference-of-squares`

Counts

2 → 40

Calls

2 calls:

6.0ms	(- (* (* 2.0 i) (* 2.0 i)) 1.0)
13.0ms	(/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))

series13.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(- (* (* 2.0 i) (* 2.0 i)) 1.0)
8.0ms	(/ (* i i) (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* 2.0 2.0)))

simplify42.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	342	496
1	1633	364
2	5001	364

prune55.0ms

Filtered

29 candidates to 46 candidates (-58.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	3	47

Merged error: 0b

Counts

47 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 4.0 (pow i 2))
0.0b	(- (* 4.0 (pow i 2)) 1.0)
18.5b	(/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-exp-log`
26×	`add-cbrt-cube`
12×	`add-sqr-sqrt` `prod-exp`
10×	`cbrt-unprod`
8×	`associate-r`
6×	`cbrt-undiv` `add-cube-cbrt` `*-un-lft-identity` `div-exp`
5×	`add-log-exp`
4×	`unpow-prod-down` `unswap-sqr`
3×	`pow1` `associate-l`
2×	`flip3--` `associate-*l/` `associate-/r/` `flip--` `unpow2` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `frac-2neg` `times-frac` `diff-log` `pow-exp` `clear-num` `associate-/r` `-commutative` `div-inv` `associate-/l*`

Counts

3 → 66

Calls

3 calls:

5.0ms	(* 4.0 (pow i 2))
4.0ms	(- (* 4.0 (pow i 2)) 1.0)
11.0ms	(/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))

series13.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(* 4.0 (pow i 2))
5.0ms	(- (* 4.0 (pow i 2)) 1.0)
5.0ms	(/ (* i i) (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)))

simplify53.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	409	514
1	1929	402
2	5002	402

prune82.0ms

Filtered

44 candidates to 75 candidates (-70.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0b

Counts

78 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 4.0 (pow i 2))
0.0b	(- (* 4.0 (pow i 2)) 1.0)
0.3b	(/ 1 (/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* i i)))
18.6b	(/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* i i))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

103×	`add-exp-log`
56×	`add-cbrt-cube`
39×	`prod-exp`
38×	`div-exp`
23×	`add-sqr-sqrt`
20×	`times-frac`
19×	`cbrt-undiv` `cbrt-unprod`
17×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r`
7×	`rec-exp` `1-exp`
6×	`associate-/r*` `div-inv` `add-log-exp`
5×	`pow1`
4×	`unpow-prod-down` `associate-/l*` `unswap-sqr`
3×	`associate-l`
2×	`flip3--` `frac-2neg` `associate-*l/` `clear-num` `flip--` `associate-/l/` `unpow2` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `pow-flip` `diff-log` `pow-exp` `associate-/r/` `*-commutative` `inv-pow`

Counts

4 → 130

Calls

4 calls:

6.0ms	(* 4.0 (pow i 2))
4.0ms	(- (* 4.0 (pow i 2)) 1.0)
11.0ms	(/ 1 (/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* i i)))
12.0ms	(/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* i i))

series26.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 4.0 (pow i 2))
5.0ms	(- (* 4.0 (pow i 2)) 1.0)
6.0ms	(/ 1 (/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* i i)))
12.0ms	(/ (* (- (* 4.0 (pow i 2)) 1.0) (* 2.0 2.0)) (* i i))

simplify88.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	611	1281
1	3056	1032
2	5002	1007

prune122.0ms

Filtered

66 candidates to 142 candidates (-115.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	141	1	142
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	143	2	145

Merged error: 0b

Counts

145 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 4.0 (/ 1 (pow i 2)))
0.2b	(/ 1 (pow i 2))
0.3b	(/ 1 (- 16.0 (* 4.0 (/ 1 (pow i 2)))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

65×	`times-frac`
62×	`add-sqr-sqrt`
48×	`*-un-lft-identity`
44×	`add-cube-cbrt`
36×	`add-exp-log`
28×	`associate-r`
23×	`unpow-prod-down`
14×	`div-exp`
12×	`add-cbrt-cube`
11×	`associate-/r*`
10×	`prod-exp`
9×	`unpow2` `unswap-sqr` `sqr-pow`
7×	`rec-exp` `1-exp`
6×	`pow1` `pow-to-exp` `pow-exp` `associate-/l*`
3×	`cbrt-undiv` `associate-l` `div-inv` `add-log-exp`
2×	`pow-flip` `frac-2neg` `clear-num` `associate-/r/` `cbrt-unprod` `inv-pow`
1×	`flip3--` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `flip--`

Counts

3 → 153

Calls

3 calls:

13.0ms	(* 4.0 (/ 1 (pow i 2)))
4.0ms	(/ 1 (pow i 2))
4.0ms	(/ 1 (- 16.0 (* 4.0 (/ 1 (pow i 2)))))

series8.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(* 4.0 (/ 1 (pow i 2)))
2.0ms	(/ 1 (pow i 2))
4.0ms	(/ 1 (- 16.0 (* 4.0 (/ 1 (pow i 2)))))

simplify54.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	470	861
1	2054	715
2	5001	610

prune134.0ms

Filtered

79 candidates to 162 candidates (-105.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	162	2	164

Merged error: 0b

Counts

164 → 2

regimes26.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	5
1	13	5

end0.0ms

sample628.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 50%

Space saved by search: 50%

Guaranteed chance to sample good point: 99.993896%

Results

396.0ms	8000×	body	80	valid
84.0ms	8000×	pre	80	true

Details

sample34.0ms

simplify30.0ms

prune6.0ms

localize8.0ms

rewrite20.0ms

series13.0ms

simplify42.0ms

prune55.0ms

localize9.0ms

rewrite23.0ms

series13.0ms

simplify53.0ms

prune82.0ms

localize10.0ms

rewrite38.0ms

series26.0ms

simplify88.0ms

prune122.0ms

localize7.0ms

rewrite27.0ms

series8.0ms

simplify54.0ms

prune134.0ms

regimes26.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample628.0ms

Profiling