Details

sample848.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 74.946211%

Results

12.0ms	239×	body	80	valid
2.0ms	18×	body	640	valid
1.0ms	5×	body	1280	valid
1.0ms	12×	body	160	valid
1.0ms	7×	body	320	valid
0.0ms	1×	body	2560	valid

simplify62.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	6
1	45	6
2	111	6
3	288	6
4	714	6
5	1498	6
6	3410	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: 22.7b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y z) (- t x))
2.5b	(+ x (/ (* (- y z) (- t x)) (- a z)))
16.1b	(/ (* (- y z) (- t x)) (- a z))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 81

Calls

3 calls:

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

series91.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(* (- y z) (- t x))
47.0ms	(+ x (/ (* (- y z) (- t x)) (- a z)))
36.0ms	(/ (* (- y z) (- t x)) (- a z))

simplify53.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	466	583
1	2158	534
2	5001	534

prune142.0ms

Filtered

67 candidates to 90 candidates (-34.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	80	10	90
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	11	91

Merged error: 2.6b

Counts

91 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a z))
0.6b	(cbrt (- a z))
1.5b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
6.9b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite50.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))
35.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)))))

series155.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a z))
26.0ms	(cbrt (- a z))
51.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
52.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify83.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (68.0ms)

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

prune180.0ms

Filtered

103 candidates to 146 candidates (-41.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	144	2	146
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	145	12	157

Merged error: 2.6b

Counts

157 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a z))
0.6b	(cbrt (cbrt (- a z)))
1.1b	(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
6.7b	(+ x (* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z))))))

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

182×	`times-frac`
167×	`add-sqr-sqrt`
123×	`cbrt-prod`
104×	`*-un-lft-identity`
80×	`associate-l`
78×	`cbrt-div`
61×	`associate-r`
60×	`add-cube-cbrt`
42×	`associate-/r/`
36×	`add-exp-log`
33×	`flip3--` `flip--`
22×	`add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
21×	`frac-times`
20×	`unswap-sqr`
14×	`cbrt-undiv` `div-exp`
11×	`associate-r/` `associate-l/`
10×	`prod-exp` `cbrt-unprod`
6×	`pow1` `div-inv` `add-log-exp`
2×	`pow1/3`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 233

Calls

4 calls:

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

series161.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- a z))
25.0ms	(cbrt (cbrt (- a z)))
56.0ms	(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
53.0ms	(+ x (* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z))))))

simplify74.0ms

Algorithm

egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1414	5018
1	5001	4777

prune309.0ms

Filtered

204 candidates to 245 candidates (-20.1%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	245	0	245
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	245	12	257

Merged error: 2.6b

Counts

257 → 12

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a z) (- t x))
3.5b	(+ x (/ (- y z) (/ (- a z) (- t x))))
5.3b	(/ (- y z) (/ (- a z) (- t x)))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

330×	`times-frac`
323×	`*-un-lft-identity`
321×	`add-sqr-sqrt`
113×	`add-cube-cbrt`
104×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
15×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`flip3--` `flip--`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `div-sub`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `associate-+r-` `flip3-+` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 274

Calls

3 calls:

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

series117.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(/ (- a z) (- t x))
48.0ms	(+ x (/ (- y z) (/ (- a z) (- t x))))
56.0ms	(/ (- y z) (/ (- a z) (- t x)))

simplify101.0ms

Algorithm

egg-herbie

Counts

283 → 283

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	1021	3042
1	4255	2973
2	5001	2973

prune186.0ms

Filtered

170 candidates to 283 candidates (-66.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	277	6	283
Fresh	4	4	8
Picked	1	0	1
Done	1	2	3
Total	283	12	295

Merged error: 2.6b

Counts

295 → 12

regimes641.0ms

Accuracy

42.2% (4.6b remaining)

Error of 8.8b against oracle of 4.1b and baseline of 12.2b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	39
1	42	39

end0.0ms

sample1.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 74.946211%

Results

302.0ms	7803×	body	80	valid
69.0ms	487×	body	640	valid
47.0ms	411×	body	320	valid
45.0ms	261×	body	1280	valid
19.0ms	236×	body	160	valid
4.0ms	19×	body	2560	valid

Details

sample848.0ms

simplify62.0ms

prune4.0ms

localize9.0ms

rewrite29.0ms

series91.0ms

simplify53.0ms

prune142.0ms

localize13.0ms

rewrite50.0ms

series155.0ms

simplify83.0ms

prune180.0ms

localize18.0ms

rewrite116.0ms

series161.0ms

simplify74.0ms

prune309.0ms

localize9.0ms

rewrite80.0ms

series117.0ms

simplify101.0ms

prune186.0ms

regimes641.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling