Details

sample3.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 20.593262%

Results

13.0ms	256×	body	80	valid
0.0ms	7×	body	80	invalid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	47	8
3	49	8
4	49	8

prune5.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: 14.2b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
4.0b	(/ (* y z) t)
5.0b	(/ (* y b) t)
11.7b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
26×	`times-frac`
22×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
6×	`associate-/l*` `add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `flip3-+` `associate-/r/` `flip-+`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`frac-add` `prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `sum-log`

Counts

4 → 101

Calls

4 calls:

4.0ms	(+ x (/ (* y z) t))
4.0ms	(/ (* y z) t)
4.0ms	(/ (* y b) t)
12.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series56.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+ x (/ (* y z) t))
4.0ms	(/ (* y z) t)
4.0ms	(/ (* y b) t)
37.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify48.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	454	843
1	1942	782
2	5001	782

prune178.0ms

Filtered

73 candidates to 113 candidates (-54.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	102	11	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	103	11	114

Merged error: 10.7b

Counts

114 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (/ t (* y z)))
4.2b	(/ t (* y z))
5.0b	(/ (* y b) t)
11.7b	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

84×	`*-un-lft-identity`
64×	`times-frac`
37×	`add-exp-log`
36×	`add-sqr-sqrt` `add-cube-cbrt`
30×	`distribute-lft-out`
25×	`add-cbrt-cube`
17×	`div-exp`
16×	`associate-/r*`
14×	`div-inv`
12×	`associate-/l*`
10×	`cbrt-undiv`
5×	`pow1` `prod-exp` `associate-/r/`
4×	`frac-2neg` `clear-num` `add-log-exp`
3×	`rec-exp` `flip3-+` `1-exp` `cbrt-unprod` `flip-+`
2×	`frac-add` `associate-/l/`
1×	`pow-flip` `inv-pow`

Counts

4 → 151

Calls

4 calls:

6.0ms	(/ 1 (/ t (* y z)))
4.0ms	(/ t (* y z))
6.0ms	(/ (* y b) t)
17.0ms	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

series56.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ 1 (/ t (* y z)))
5.0ms	(/ t (* y z))
4.0ms	(/ (* y b) t)
41.0ms	(/ (+ x (/ 1 (/ t (* y z)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify70.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	584	1227
1	2699	1113
2	5002	1073

prune158.0ms

Filtered

84 candidates to 163 candidates (-94.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	162	1	163
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	164	10	174

Merged error: 10.7b

Counts

174 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (/ (/ t y) z))
4.5b	(/ (/ t y) z)
5.0b	(/ (* y b) t)
11.7b	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

496×	`times-frac`
292×	`*-un-lft-identity`
244×	`add-sqr-sqrt` `add-cube-cbrt`
54×	`associate-/r*`
37×	`add-exp-log`
30×	`div-inv` `distribute-lft-out`
25×	`add-cbrt-cube`
22×	`associate-/l*`
21×	`div-exp`
12×	`cbrt-undiv`
5×	`pow1` `associate-/r/`
4×	`frac-2neg` `clear-num` `add-log-exp`
3×	`rec-exp` `flip3-+` `1-exp` `flip-+` `associate-/l/`
2×	`frac-add`
1×	`pow-flip` `prod-exp` `cbrt-unprod` `inv-pow`

Counts

4 → 344

Calls

4 calls:

15.0ms	(/ 1 (/ (/ t y) z))
6.0ms	(/ (/ t y) z)
4.0ms	(/ (* y b) t)
40.0ms	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ (* y b) t)))

series60.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ 1 (/ (/ t y) z))
4.0ms	(/ (/ t y) z)
4.0ms	(/ (* y b) t)
46.0ms	(/ (+ x (/ 1 (/ (/ t y) z))) (+ (+ a 1.0) (/ (* y b) t)))

simplify64.0ms

Algorithm

egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1324	3187
1	5002	2839

prune374.0ms

Filtered

231 candidates to 356 candidates (-54.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	352	4	356
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	355	11	366

Merged error: 10.4b

Counts

366 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
4.5b	(/ (/ t y) z)
5.0b	(/ (* y b) t)
11.3b	(* (+ x (/ 1 (/ (/ t y) z))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

110×	`times-frac`
107×	`*-un-lft-identity`
75×	`add-sqr-sqrt`
68×	`add-cube-cbrt`
27×	`add-exp-log`
23×	`associate-r` `distribute-lft-out`
21×	`add-cbrt-cube`
17×	`associate-/l*`
11×	`associate-/r*`
9×	`div-exp` `div-inv`
8×	`associate-/r/`
7×	`pow1` `cbrt-undiv`
6×	`flip3-+` `flip-+`
5×	`associate-l` `prod-exp`
4×	`frac-add` `add-log-exp`
3×	`frac-2neg` `clear-num` `cbrt-unprod` `unswap-sqr`
2×	`frac-times` `rec-exp` `1-exp` `associate-*l/`
1×	`pow-flip` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `associate-/l/` `inv-pow`

Counts

4 → 186

Calls

4 calls:

8.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
6.0ms	(/ (/ t y) z)
4.0ms	(/ (* y b) t)
49.0ms	(* (+ x (/ 1 (/ (/ t y) z))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

series67.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
4.0ms	(/ (/ t y) z)
4.0ms	(/ (* y b) t)
42.0ms	(* (+ x (/ 1 (/ (/ t y) z))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

simplify78.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	795	1528
1	3611	1348
2	5001	1348

prune206.0ms

Filtered

127 candidates to 198 candidates (-55.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	196	2	198
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	198	11	209

Merged error: 10.4b

Counts

209 → 11

regimes768.0ms

Accuracy

59.3% (2.7b remaining)

Error of 13.2b against oracle of 10.5b and baseline of 17.1b

bsearch65.0ms

Steps

Iters	Range		Point
9	20.48089124473648	663462393.9379759	188.49736110952065
10	-8.695731657503292e-43	-6.7870590901316915e-53	-4.11114453030053e-43

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	19
1	45	19

end0.0ms

sample4.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 20.593262%

Results

689.0ms	8000×	body	80	valid
14.0ms	272×	body	80	invalid

Details

sample3.7s

simplify8.0ms

prune5.0ms

localize16.0ms

rewrite27.0ms

series56.0ms

simplify48.0ms

prune178.0ms

localize13.0ms

rewrite38.0ms

series56.0ms

simplify70.0ms

prune158.0ms

localize15.0ms

rewrite83.0ms

series60.0ms

simplify64.0ms

prune374.0ms

localize14.0ms

rewrite74.0ms

series67.0ms

simplify78.0ms

prune206.0ms

regimes768.0ms

bsearch65.0ms

simplify2.0ms

end0.0ms

sample4.8s

Profiling