Details

sample2.4s

Algorithm

intervals

sampling

Space saved by range analysis: 0.779702%

Space saved by search: 0.243902%

Guaranteed chance to sample good point: 0%

Results

8.0ms	214×	body	80	valid
2.0ms	16×	body	320	valid
1.0ms	10×	body	640	valid
1.0ms	7×	body	1280	valid
1.0ms	21×	body	80	invalid
1.0ms	9×	body	160	valid

simplify122.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	6
1	52	6
2	109	6
3	195	6
4	445	6
5	828	6
6	1434	6
7	2520	6
8	4830	6
9	5001	6

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- z t) y)
2.5b	(- (+ x y) (/ (* (- z t) y) (- a t)))
10.7b	(/ (* (- z t) y) (- a t))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
10×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-l` `associate-/r*` `distribute-lft-out--`
4×	`flip3--` `associate-*l/` `flip--` `difference-of-squares`
3×	`associate-r`
2×	`cbrt-undiv` `diff-log` `div-exp` `prod-exp` `associate-/r/` `frac-sub` `cbrt-unprod` `associate-/l/`
1×	`sub-neg` `frac-2neg` `flip3-+` `pow-prod-down` `associate--l+` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 70

Calls

3 calls:

6.0ms	(* (- z t) y)
9.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
8.0ms	(/ (* (- z t) y) (- a t))

series57.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (- z t) y)
35.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
15.0ms	(/ (* (- z t) y) (- a t))

simplify47.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	383	461
1	1704	422
2	5001	422

prune127.0ms

Filtered

56 candidates to 79 candidates (-41.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	70	9	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	9	80

Merged error: 2.7b

Counts

80 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (- a t))
3.2b	(- (+ x y) (* (- z t) (/ y (- a t))))
9.1b	(* (- z t) (/ y (- a t)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
10×	`add-exp-log` `frac-sub` `add-cbrt-cube`
9×	`flip3--` `flip--`
8×	`distribute-lft-out--` `add-log-exp` `difference-of-squares`
6×	`frac-times` `associate-*l/`
5×	`pow1` `flip3-+` `associate-l` `associate-/r*` `flip-+`
4×	`associate-/r/`
3×	`associate-r/` `associate-/l`
2×	`cbrt-undiv` `diff-log` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`sub-neg` `frac-2neg` `pow-prod-down` `associate--l+` `clear-num` `sum-log` `*-commutative`

Counts

3 → 107

Calls

3 calls:

7.0ms	(/ y (- a t))
6.0ms	(- (+ x y) (* (- z t) (/ y (- a t))))
12.0ms	(* (- z t) (/ y (- a t)))

series56.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ y (- a t))
33.0ms	(- (+ x y) (* (- z t) (/ y (- a t))))
15.0ms	(* (- z t) (/ y (- a t)))

simplify66.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	559	844
1	2676	803
2	5001	803

prune153.0ms

Filtered

85 candidates to 116 candidates (-36.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	109	7	116
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	112	13	125

Merged error: 2.6b

Counts

125 → 13

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- a t))
0.2b	(* y (/ 1 (- a t)))
4.9b	(- (+ x y) (* (- z t) (* y (/ 1 (- a t)))))
9.1b	(* (- z t) (* y (/ 1 (- a t))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`add-exp-log` `times-frac`
25×	`add-cube-cbrt`
22×	`associate-r`
20×	`add-cbrt-cube`
16×	`associate-*r/` `frac-sub`
13×	`prod-exp`
12×	`pow1` `frac-times` `flip3--` `flip--`
10×	`un-div-inv`
9×	`add-log-exp`
8×	`flip3-+` `associate-l` `flip-+` `distribute-lft-out--` `difference-of-squares`
7×	`cbrt-unprod`
6×	`div-exp` `associate-*l/`
5×	`associate-/r*`
4×	`pow-prod-down` `associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `unswap-sqr`
2×	`diff-log` `*-commutative` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `associate--l+` `clear-num` `sum-log` `inv-pow`

Counts

4 → 147

Calls

4 calls:

5.0ms	(/ 1 (- a t))
10.0ms	(* y (/ 1 (- a t)))
7.0ms	(- (+ x y) (* (- z t) (* y (/ 1 (- a t)))))
14.0ms	(* (- z t) (* y (/ 1 (- a t))))

series61.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 1 (- a t))
7.0ms	(* y (/ 1 (- a t)))
35.0ms	(- (+ x y) (* (- z t) (* y (/ 1 (- a t)))))
15.0ms	(* (- z t) (* y (/ 1 (- a t))))

simplify77.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	676	1149
1	3060	1038
2	5002	989

prune158.0ms

Filtered

92 candidates to 159 candidates (-72.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	159	13	172

Merged error: 2.6b

Counts

172 → 13

localize9.0ms

Local error

Found 2 expressions with local error:

3.2b	(- (+ x y) (/ (- z t) (/ (- a t) y)))
9.6b	(/ (- z t) (/ (- a t) y))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

188×	`times-frac`
161×	`add-sqr-sqrt`
157×	`*-un-lft-identity`
76×	`add-cube-cbrt`
41×	`difference-of-squares`
40×	`distribute-lft-out--`
19×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube` `div-inv` `add-log-exp`
5×	`associate-/l*`
3×	`cbrt-undiv` `div-exp`
2×	`pow1` `flip3--` `diff-log` `div-sub` `frac-sub` `flip--` `associate-/l/`
1×	`sub-neg` `frac-2neg` `flip3-+` `associate--l+` `clear-num` `sum-log` `associate-/r/` `flip-+` `distribute-lft-out` `associate--r-`

Counts

2 → 159

Calls

2 calls:

32.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
11.0ms	(/ (- z t) (/ (- a t) y))

series55.0ms

Counts

2 → 6

Calls

2 calls:

34.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
21.0ms	(/ (- z t) (/ (- a t) y))

simplify76.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	810	1655
1	3023	1611
2	5001	1611

prune117.0ms

Filtered

109 candidates to 165 candidates (-51.4%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	162	3	165
Fresh	1	10	11
Picked	0	1	1
Done	0	1	1
Total	163	15	178

Merged error: 2.6b

Counts

178 → 15

regimes737.0ms

Accuracy

39.9% (4.8b remaining)

Error of 9.1b against oracle of 4.3b and baseline of 12.3b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	28
1	36	28

end0.0ms

sample3.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0.779702%

Space saved by search: 0.243902%

Guaranteed chance to sample good point: 0%

Results

578.0ms	6551×	body	80	valid
75.0ms	479×	body	640	valid
51.0ms	424×	body	320	valid
48.0ms	243×	body	1280	valid
31.0ms	692×	body	80	invalid
23.0ms	292×	body	160	valid
3.0ms	11×	body	2560	valid

Details

sample2.4s

simplify122.0ms

prune4.0ms

localize9.0ms

rewrite26.0ms

series57.0ms

simplify47.0ms

prune127.0ms

localize9.0ms

rewrite30.0ms

series56.0ms

simplify66.0ms

prune153.0ms

localize10.0ms

rewrite42.0ms

series61.0ms

simplify77.0ms

prune158.0ms

localize9.0ms

rewrite54.0ms

series55.0ms

simplify76.0ms

prune117.0ms

regimes737.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample3.5s

Profiling