Details

sample9.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 10.473633%

Guaranteed chance to sample good point: 56.981184%

Results

8.0ms	256×	body	80	valid
1.0ms	45×	body	80	invalid

simplify137.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	4
1	31	4
2	57	4
3	91	4
4	117	4
5	136	4
6	158	4
7	212	4
8	421	4
9	880	4
10	1618	4
11	2991	4
12	4757	4
13	5001	4

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.4b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ x y) (- z t)) t)
6.7b	(* (/ x y) (- z t))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 57

Calls

2 calls:

8.0ms	(+ (* (/ x y) (- z t)) t)
11.0ms	(* (/ x y) (- z t))

series23.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(+ (* (/ x y) (- z t)) t)
13.0ms	(* (/ x y) (- z t))

simplify37.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	314	342
1	1191	302
2	5002	302

prune87.0ms

Filtered

43 candidates to 63 candidates (-46.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	57	6	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	7	64

Merged error: 0.0b

Counts

64 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

6.7b	(* (/ x y) (- z t))
6.9b	(cbrt (* (/ x y) (- z t)))
6.9b	(cbrt (* (/ x y) (- z t)))
6.9b	(cbrt (* (/ x y) (- z t)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
15×	`cbrt-div`
14×	`*-un-lft-identity`
13×	`associate-l`
12×	`add-cube-cbrt`
10×	`times-frac`
9×	`add-exp-log` `add-cbrt-cube`
8×	`frac-times` `flip3--` `associate-*r/` `flip--`
6×	`pow1`
5×	`associate-r`
4×	`associate-*l/` `add-log-exp`
3×	`cbrt-prod` `pow1/3`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 84

Calls

4 calls:

9.0ms	(* (/ x y) (- z t))
6.0ms	(cbrt (* (/ x y) (- z t)))
6.0ms	(cbrt (* (/ x y) (- z t)))
6.0ms	(cbrt (* (/ x y) (- z t)))

series111.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* (/ x y) (- z t))
32.0ms	(cbrt (* (/ x y) (- z t)))
34.0ms	(cbrt (* (/ x y) (- z t)))
33.0ms	(cbrt (* (/ x y) (- z t)))

simplify39.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	342	621
1	1257	566
2	5002	557

prune128.0ms

Filtered

79 candidates to 96 candidates (-21.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	96	7	103

Merged error: 0b

Counts

103 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

6.9b	(cbrt (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))))
11.9b	(cbrt (/ x y))
11.9b	(cbrt (/ x y))
11.9b	(cbrt (/ x y))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

62×	`cbrt-div`
40×	`cbrt-prod`
29×	`frac-times`
27×	`times-frac`
25×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
19×	`associate-*r/`
13×	`associate-*l/`
8×	`flip3--` `flip--`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`div-inv`

Counts

4 → 98

Calls

4 calls:

16.0ms	(cbrt (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))))
2.0ms	(cbrt (/ x y))
2.0ms	(cbrt (/ x y))
3.0ms	(cbrt (/ x y))

series74.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(cbrt (* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t))))
13.0ms	(cbrt (/ x y))
15.0ms	(cbrt (/ x y))
13.0ms	(cbrt (/ x y))

simplify102.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 3 (91.0ms)

Iter	Nodes	Cost
0	434	996
1	1281	952
2	4396	927
3	5001	887

prune140.0ms

Filtered

83 candidates to 110 candidates (-32.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	110	7	117

Merged error: 0b

Counts

117 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z t) y)
0.0b	(+ (* x (/ (- z t) y)) t)
5.7b	(* x (/ (- z t) y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 87

Calls

3 calls:

5.0ms	(/ (- z t) y)
7.0ms	(+ (* x (/ (- z t) y)) t)
9.0ms	(* x (/ (- z t) y))

series29.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	342	501
1	1379	468
2	5001	456

prune77.0ms

Filtered

65 candidates to 96 candidates (-47.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	96	7	103

Merged error: 0b

Counts

103 → 7

regimes422.0ms

Accuracy

-15.7% (2.2b remaining)

Error of 2.2b against oracle of 0.0b and baseline of 1.9b

bsearch143.0ms

Steps

Iters	Range		Point
11	2.673221879118481e-257	1.1150580697761419e-228	3.59071822362668e-229
10	-1.880055405335961e-151	-5.575345335445128e-167	-1.841580069135371e-151

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	18
1	34	18

end0.0ms

sample10.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 10.473633%

Guaranteed chance to sample good point: 56.981184%

Results

256.0ms	8000×	body	80	valid
46.0ms	1525×	body	80	invalid

Details

sample9.5s

simplify137.0ms

prune4.0ms

localize7.0ms

rewrite21.0ms

series23.0ms

simplify37.0ms

prune87.0ms

localize11.0ms

rewrite29.0ms

series111.0ms

simplify39.0ms

prune128.0ms

localize18.0ms

rewrite28.0ms

series74.0ms

simplify102.0ms

prune140.0ms

localize7.0ms

rewrite24.0ms

series29.0ms

simplify40.0ms

prune77.0ms

regimes422.0ms

bsearch143.0ms

simplify2.0ms

end0.0ms

sample10.9s

Profiling