Details

sample917.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 87.5%

Results

10.0ms	247×	body	80	valid
6.0ms	13×	body	1280	valid
3.0ms	21×	body	640	valid
1.0ms	13×	body	320	valid
1.0ms	10×	body	160	valid
0.0ms	1×	body	2560	valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	6
1	44	6
2	122	6
3	327	6
4	868	6
5	1727	6
6	3544	6
7	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: 18.5b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t x) (- a z))
3.4b	(+ x (* (- y z) (/ (- t x) (- a z))))
7.5b	(* (- y z) (/ (- t x) (- a z)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 119

Calls

3 calls:

8.0ms	(/ (- t x) (- a z))
3.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
17.0ms	(* (- y z) (/ (- t x) (- a z)))

series107.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(/ (- t x) (- a z))
52.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
40.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify55.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	473	869
1	2012	820
2	5002	820

prune200.0ms

Filtered

88 candidates to 128 candidates (-45.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	112	16	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	16	129

Merged error: 5.4b

Counts

129 → 16

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a z))
0.6b	(cbrt (- a z))
2.0b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
9.9b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
52×	`times-frac`
46×	`associate-r`
37×	`cbrt-prod`
27×	`add-cube-cbrt`
25×	`add-exp-log`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
16×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/r/`
9×	`flip3--` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `add-log-exp` `unswap-sqr`
5×	`frac-times`
3×	`associate-r/` `associate-l/`
2×	`pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 134

Calls

4 calls:

3.0ms	(cbrt (- a z))
3.0ms	(cbrt (- a z))
39.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
3.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series166.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- a z))
28.0ms	(cbrt (- a z))
57.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
55.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify87.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	752	1839
1	3320	1671
2	5001	1580

prune206.0ms

Filtered

102 candidates to 146 candidates (-43.1%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	143	3	146
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	145	17	162

Merged error: 5.4b

Counts

162 → 17

localize20.0ms

Local error

Found 4 expressions with local error:

2.0b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
2.0b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
2.0b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
10.4b	(+ x (* (* (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))))

rewrite137.0ms

Algorithm

rewrite-expression-head

Rules

199×	`add-sqr-sqrt`
156×	`times-frac`
151×	`*-un-lft-identity`
138×	`associate-r`
81×	`cbrt-prod`
67×	`add-exp-log` `add-cube-cbrt`
51×	`associate-l`
46×	`add-cbrt-cube`
42×	`cbrt-div` `distribute-lft-out--` `difference-of-squares`
30×	`associate-/r/`
24×	`prod-exp` `cbrt-unprod`
21×	`cbrt-undiv` `flip3--` `div-exp` `flip--`
18×	`unswap-sqr`
15×	`frac-times`
10×	`pow1`
9×	`associate-r/` `associate-l/`
6×	`div-inv` `add-log-exp`
3×	`pow-prod-down` `*-commutative`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 290

Calls

4 calls:

40.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
37.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
39.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
3.0ms	(+ x (* (* (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))))

series230.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
58.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
56.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
57.0ms	(+ x (* (* (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))) (cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))))

simplify101.0ms

Algorithm

egg-herbie

Counts

302 → 302

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	677	4921
1	3044	4303
2	5001	4079

prune370.0ms

Filtered

211 candidates to 302 candidates (-43.1%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	301	1	302
Fresh	0	16	16
Picked	1	0	1
Done	0	0	0
Total	302	17	319

Merged error: 5.4b

Counts

319 → 17

localize19.0ms

Local error

Found 4 expressions with local error:

2.1b	(cbrt (/ (- t x) (cbrt (- a z))))
2.1b	(cbrt (/ (- t x) (cbrt (- a z))))
2.1b	(cbrt (/ (- t x) (cbrt (- a z))))
10.4b	(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z)))))) (cbrt (/ (- t x) (cbrt (- a z))))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

213×	`cbrt-prod`
139×	`add-sqr-sqrt` `*-un-lft-identity`
120×	`times-frac`
61×	`add-cube-cbrt`
39×	`distribute-lft-out--` `difference-of-squares`
9×	`cbrt-div`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`flip3--` `pow1/3` `flip--` `div-inv`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 176

Calls

4 calls:

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

series245.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(cbrt (/ (- t x) (cbrt (- a z))))
63.0ms	(cbrt (/ (- t x) (cbrt (- a z))))
62.0ms	(cbrt (/ (- t x) (cbrt (- a z))))
56.0ms	(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z)))))) (cbrt (/ (- t x) (cbrt (- a z))))))

simplify160.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 3 (135.0ms)

Iter	Nodes	Cost
0	496	2690
1	1199	2559
2	4933	2517
3	5002	2448

prune186.0ms

Filtered

128 candidates to 188 candidates (-46.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	186	2	188
Fresh	2	14	16
Picked	1	0	1
Done	0	0	0
Total	189	16	205

Merged error: 4.6b

Counts

205 → 16

regimes780.0ms

Accuracy

51.2% (4.7b remaining)

Error of 8.3b against oracle of 3.6b and baseline of 13.2b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	60
1	51	60

end0.0ms

sample1.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 87.5%

Results

329.0ms	7728×	body	80	valid
72.0ms	491×	body	640	valid
52.0ms	278×	body	1280	valid
47.0ms	419×	body	320	valid
25.0ms	295×	body	160	valid
3.0ms	14×	body	2560	valid

Details

sample917.0ms

simplify72.0ms

prune4.0ms

localize9.0ms

rewrite33.0ms

series107.0ms

simplify55.0ms

prune200.0ms

localize14.0ms

rewrite56.0ms

series166.0ms

simplify87.0ms

prune206.0ms

localize20.0ms

rewrite137.0ms

series230.0ms

simplify101.0ms

prune370.0ms

localize19.0ms

rewrite42.0ms

series245.0ms

simplify160.0ms

prune186.0ms

regimes780.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample1.8s

Profiling