Details

sample10.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 22.558594%

Guaranteed chance to sample good point: 36.160151%

Results

14.0ms	25×	body	1280	valid
12.0ms	184×	body	80	valid
8.0ms	24×	body	640	valid
3.0ms	15×	body	320	valid
3.0ms	8×	body	640	invalid
1.0ms	3×	body	1280	invalid
1.0ms	8×	body	160	valid
1.0ms	20×	body	80	nan
1.0ms	4×	body	320	invalid
1.0ms	10×	body	80	invalid
0.0ms	1×	body	160	invalid

simplify121.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	18	7
1	27	7
2	54	7
3	109	7
4	307	7
5	777	7
6	4145	7
7	5002	7

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ z y))
0.0b	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
0.1b	(* y (log (/ y (+ z y))))
9.8b	(log (/ y (+ z y)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

67×	`*-un-lft-identity`
54×	`log-prod`
48×	`times-frac`
41×	`add-sqr-sqrt`
39×	`add-cube-cbrt`
18×	`distribute-rgt-in` `distribute-lft-in`
14×	`distribute-lft-out`
11×	`add-exp-log`
8×	`pow1` `associate-/r/` `add-cbrt-cube`
6×	`add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-r` `associate-/r*` `div-inv`
3×	`associate-l` `associate-/l*`
2×	`div-exp` `rem-log-exp` `log-pow`
1×	`cbrt-undiv` `+-commutative` `log-div` `frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 129

Calls

4 calls:

5.0ms	(/ y (+ z y))
34.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
8.0ms	(* y (log (/ y (+ z y))))
5.0ms	(log (/ y (+ z y)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ y (+ z y))
23.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
14.0ms	(* y (log (/ y (+ z y))))
12.0ms	(log (/ y (+ z y)))

simplify53.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	412	1027
1	1668	939
2	5002	913

prune176.0ms

Filtered

90 candidates to 141 candidates (-56.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	134	7	141
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	135	7	142

Merged error: 0.6b

Counts

142 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
3.9b	(log (/ (cbrt y) (cbrt (+ z y))))
3.9b	(log (/ (cbrt y) (cbrt (+ z y))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

96×	`cbrt-prod` `log-prod`
84×	`*-un-lft-identity` `times-frac`
60×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`distribute-lft-out`
10×	`add-exp-log`
6×	`pow1`
4×	`cbrt-div` `rem-log-exp` `associate-/r/` `add-cbrt-cube` `add-log-exp`
2×	`log-div` `flip3-+` `pow1/3` `div-exp` `log-pow` `flip-+` `div-inv`

Counts

4 → 140

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
8.0ms	(log (/ (cbrt y) (cbrt (+ z y))))
8.0ms	(log (/ (cbrt y) (cbrt (+ z y))))

series95.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
22.0ms	(cbrt y)
24.0ms	(log (/ (cbrt y) (cbrt (+ z y))))
24.0ms	(log (/ (cbrt y) (cbrt (+ z y))))

simplify78.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 3 (62.0ms)

Iter	Nodes	Cost
0	336	1450
1	742	1380
2	2184	1330
3	5001	1322

prune188.0ms

Filtered

102 candidates to 152 candidates (-49.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	152	7	159

Merged error: 0.6b

Counts

159 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
33.8b	(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
10×	`pow1`
9×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`prod-exp`
5×	`rem-log-exp`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `log-pow`
2×	`div-exp`
1×	`log-div` `log-prod` `associate-*r/`

Counts

4 → 50

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
12.0ms	(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

series85.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt y)
22.0ms	(cbrt y)
22.0ms	(cbrt y)
19.0ms	(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

simplify53.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 3 (15.0ms)

Iter	Nodes	Cost
0	91	288
1	175	255
2	468	216
3	1704	195
4	5002	195

prune99.0ms

Filtered

49 candidates to 62 candidates (-26.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	62	7	69

Merged error: 0.6b

Counts

69 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ z y))
0.5b	(cbrt (+ z y))
0.5b	(cbrt (+ z y))
33.1b	(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-exp-log`
20×	`prod-exp`
15×	`div-exp` `rem-log-exp`
13×	`*-un-lft-identity`
12×	`cbrt-prod`
7×	`pow1` `add-sqr-sqrt` `add-cube-cbrt`
6×	`cbrt-div`
4×	`rec-exp` `1-exp` `add-cbrt-cube` `add-log-exp`
3×	`log-div` `flip3-+` `pow1/3` `flip-+` `distribute-lft-out`
2×	`log-pow`
1×	`frac-times` `log-prod` `associate-r/` `pow-prod-down` `associate-l/`

Counts

4 → 70

Calls

4 calls:

3.0ms	(cbrt (+ z y))
3.0ms	(cbrt (+ z y))
3.0ms	(cbrt (+ z y))
21.0ms	(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

series109.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt (+ z y))
32.0ms	(cbrt (+ z y))
30.0ms	(cbrt (+ z y))
17.0ms	(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

simplify82.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 3 (75.0ms)

Iter	Nodes	Cost
0	206	508
1	637	446
2	2528	397
3	5001	387

prune127.0ms

Filtered

71 candidates to 82 candidates (-15.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	82	7	89

Merged error: 0.6b

Counts

89 → 7

regimes469.0ms

Accuracy

0% (0.6b remaining)

Error of 1.0b against oracle of 0.4b and baseline of 1.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	16
1	20	16

end0.0ms

sample12.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 22.558594%

Guaranteed chance to sample good point: 36.160151%

Results

409.0ms	6042×	body	80	valid
376.0ms	693×	body	1280	valid
230.0ms	691×	body	640	valid
86.0ms	373×	body	320	valid
70.0ms	216×	body	640	invalid
45.0ms	88×	body	1280	invalid
38.0ms	176×	body	320	invalid
32.0ms	201×	body	160	valid
25.0ms	530×	body	80	nan
16.0ms	255×	body	80	invalid
15.0ms	109×	body	160	invalid

Details

sample10.3s

simplify121.0ms

prune4.0ms

localize10.0ms

rewrite58.0ms

series54.0ms

simplify53.0ms

prune176.0ms

localize16.0ms

rewrite28.0ms

series95.0ms

simplify78.0ms

prune188.0ms

localize16.0ms

rewrite17.0ms

series85.0ms

simplify53.0ms

prune99.0ms

localize17.0ms

rewrite33.0ms

series109.0ms

simplify82.0ms

prune127.0ms

regimes469.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample12.0s

Profiling