Details

analyze1.0s

Algorithm

sampling

Space saved by range analysis: 0.195169%

Space saved by search: 0.865246%

Guaranteed chance to sample good point: 75.015362%

sample20.0ms

Algorithm

intervals

Results

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

simplify61.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	5
1	40	5
2	80	5
3	174	5
4	369	5
5	503	5
6	769	5
7	1191	5
8	1451	5
9	1606	5
10	1606	5

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- y z) (- y t))
8.1b	(/ x (* (- y z) (- y t)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 63

Calls

2 calls:

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

series25.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* (- y z) (- y t))
18.0ms	(/ x (* (- y z) (- y t)))

simplify40.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	304	403
1	1399	360
2	5002	360

prune87.0ms

Filtered

51 candidates to 69 candidates (-35.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	66	3	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	66	4	70

Merged error: 0b

Counts

70 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y z) (- y t))
0.6b	(/ 1 (/ (* (- y z) (- y t)) x))
7.9b	(/ (* (- y z) (- y t)) x)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 119

Calls

3 calls:

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

series51.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify68.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	530	852
1	2893	748
2	5001	711

prune101.0ms

Filtered

76 candidates to 128 candidates (-68.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	128	4	132

Merged error: 0b

Counts

132 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (- y t))
0.0b	(/ 1 (- y z))
2.8b	(* (/ 1 (- y z)) (/ x (- y t)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

86×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
67×	`times-frac`
41×	`add-cube-cbrt`
31×	`add-exp-log`
21×	`associate-r` `associate-l`
19×	`add-cbrt-cube`
14×	`distribute-lft-out--` `difference-of-squares`
11×	`div-exp`
10×	`associate-/r*`
8×	`prod-exp` `associate-/r/`
6×	`pow1` `cbrt-undiv` `associate-/l*` `unswap-sqr`
4×	`flip3--` `flip--` `cbrt-unprod` `div-inv`
3×	`rec-exp` `1-exp` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `inv-pow`

Counts

3 → 150

Calls

3 calls:

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

series44.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify54.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	522	907
1	2258	796
2	5001	756

prune114.0ms

Filtered

98 candidates to 159 candidates (-62.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	159	4	163

Merged error: 0b

Counts

163 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- y z))
0.1b	(* (sqrt (- y z)) (- y t))
0.1b	(* (sqrt (- y z)) (* (sqrt (- y z)) (- y t)))
5.2b	(/ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- y t))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

80×	`sqrt-div`
61×	`flip3--` `flip--`
60×	`frac-times`
30×	`associate-*r/`
26×	`associate-/r/`
25×	`add-sqr-sqrt`
20×	`add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
18×	`associate-*l/`
16×	`associate-l` `sqrt-prod`
12×	`pow1` `add-cube-cbrt`
10×	`distribute-rgt-in` `distribute-lft-in`
7×	`prod-exp` `cbrt-unprod`
6×	`sub-neg` `associate-r`
4×	`pow-prod-down` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`cbrt-undiv` `times-frac` `div-exp` `associate-/l*`
2×	`*-commutative` `unswap-sqr`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 161

Calls

4 calls:

3.0ms	(sqrt (- y z))
12.0ms	(* (sqrt (- y z)) (- y t))
15.0ms	(* (sqrt (- y z)) (* (sqrt (- y z)) (- y t)))
16.0ms	(/ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- y t))))

series52.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (- y z))
19.0ms	(* (sqrt (- y z)) (- y t))
7.0ms	(* (sqrt (- y z)) (* (sqrt (- y z)) (- y t)))
18.0ms	(/ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- y t))))

simplify74.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	636	1581
1	2734	1378
2	5001	1356

prune156.0ms

Filtered

117 candidates to 173 candidates (-47.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	173	4	177

Merged error: 0b

Counts

177 → 4

regimes358.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

analyze1.0s

Algorithm

sampling

Space saved by range analysis: 0.195169%

Space saved by search: 0.865246%

Guaranteed chance to sample good point: 75.015362%

sample519.0ms

Algorithm

intervals

Results

278.0ms	8000×	body	80	valid
16.0ms	357×	body	80	invalid

Details

analyze1.0s

sample20.0ms

simplify61.0ms

prune4.0ms

localize8.0ms

rewrite24.0ms

series25.0ms

simplify40.0ms

prune87.0ms

localize9.0ms

rewrite32.0ms

series51.0ms

simplify68.0ms

prune101.0ms

localize9.0ms

rewrite37.0ms

series44.0ms

simplify54.0ms

prune114.0ms

localize10.0ms

rewrite55.0ms

series52.0ms

simplify74.0ms

prune156.0ms

regimes358.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.0s

sample519.0ms

Profiling