Details

sample1.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.408936%

Guaranteed chance to sample good point: 66.139609%

Results

7.0ms	256×	body	80	valid
0.0ms	10×	body	80	invalid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	17	3
2	17	3

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

Counts

2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

2.2b	(/ x (- y (* z t)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
3×	`add-exp-log` `associate-/r` `add-cbrt-cube` `associate-/l`
2×	`associate-/r/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 29

Calls

1 calls:

4.0ms

(/ x (- y (* z t)))

series11.0ms

Counts

1 → 3

Calls

1 calls:

11.0ms

(/ x (- y (* z t)))

simplify103.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 3 (33.0ms)

Iter	Nodes	Cost
0	132	186
1	418	172
2	1286	172
3	4167	171
4	5002	171

prune54.0ms

Filtered

25 candidates to 32 candidates (-28.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	27	5	32
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	6	33

Merged error: 2.2b

Counts

33 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ 1 (- y (* z t)))
2.1b	(* x (/ 1 (- y (* z t))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
20×	`times-frac`
19×	`*-un-lft-identity`
18×	`add-cube-cbrt`
15×	`add-exp-log` `associate-r`
9×	`add-cbrt-cube`
5×	`pow1`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`associate-l` `associate-/r` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `flip3--` `1-exp` `flip--` `cbrt-unprod` `div-inv` `add-log-exp`
1×	`pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

2 → 71

Calls

2 calls:

4.0ms	(/ 1 (- y (* z t)))
8.0ms	(* x (/ 1 (- y (* z t))))

series22.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(/ 1 (- y (* z t)))
11.0ms	(* x (/ 1 (- y (* z t))))

simplify65.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	239	419
1	1015	361
2	3683	331
3	5001	331

prune71.0ms

Filtered

42 candidates to 77 candidates (-83.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	76	7	83

Merged error: 2.2b

Counts

83 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

0.8b	(/ 1 (/ (- y (* z t)) x))
2.2b	(/ (- y (* z t)) x)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
52×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`associate-/r*`
15×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`div-exp`
6×	`div-inv` `associate-/l*`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3--` `pow-flip` `div-sub` `associate-/r/` `flip--` `inv-pow`

Counts

2 → 106

Calls

2 calls:

6.0ms	(/ 1 (/ (- y (* z t)) x))
5.0ms	(/ (- y (* z t)) x)

series35.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(/ 1 (/ (- y (* z t)) x))
11.0ms	(/ (- y (* z t)) x)

simplify43.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	373	877
1	1663	781
2	5001	707

prune82.0ms

Filtered

58 candidates to 112 candidates (-93.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	2	2	4
Picked	0	1	1
Done	1	1	2
Total	113	6	119

Merged error: 2.1b

Counts

119 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ 1 (- y (* z t)))
2.2b	(/ (/ 1 (- y (* z t))) (/ 1 x))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

474×	`times-frac`
220×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
46×	`add-exp-log`
34×	`div-exp`
32×	`div-inv`
31×	`associate-/r/`
18×	`associate-/l*`
16×	`associate-/r*` `add-cbrt-cube`
15×	`flip3--` `flip--`
9×	`cbrt-undiv` `rec-exp` `1-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

2 → 288

Calls

2 calls:

4.0ms	(/ 1 (- y (* z t)))
13.0ms	(/ (/ 1 (- y (* z t))) (/ 1 x))

series39.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(/ 1 (- y (* z t)))
28.0ms	(/ (/ 1 (- y (* z t))) (/ 1 x))

simplify63.0ms

Algorithm

egg-herbie

Counts

294 → 294

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1340	3560
1	5002	2986

prune208.0ms

Filtered

133 candidates to 294 candidates (-121.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	294	0	294
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	294	6	300

Merged error: 2.1b

Counts

300 → 6

regimes452.0ms

Accuracy

0% (0.1b remaining)

Error of 2.8b against oracle of 2.7b and baseline of 2.8b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	3
1	8	3

end0.0ms

sample2.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.408936%

Guaranteed chance to sample good point: 66.139609%

Results

241.0ms	8000×	body	80	valid
13.0ms	327×	body	80	invalid

Details

sample1.5s

simplify4.0ms

prune4.0ms

localize9.0ms

rewrite5.0ms

series11.0ms

simplify103.0ms

prune54.0ms

localize6.0ms

rewrite15.0ms

series22.0ms

simplify65.0ms

prune71.0ms

localize8.0ms

rewrite15.0ms

series35.0ms

simplify43.0ms

prune82.0ms

localize8.0ms

rewrite35.0ms

series39.0ms

simplify63.0ms

prune208.0ms

regimes452.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.1s

Profiling