Details

sample2.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 19.042969%

Guaranteed chance to sample good point: 59.947979%

Results

20.0ms	30×	body	1280	valid
12.0ms	185×	body	80	valid
8.0ms	26×	body	640	valid
5.0ms	15×	body	640	invalid
3.0ms	13×	body	320	valid
2.0ms	4×	body	1280	invalid
2.0ms	8×	body	320	invalid
1.0ms	28×	body	80	nan
1.0ms	12×	body	80	invalid
0.0ms	2×	body	160	valid
0.0ms	2×	body	160	invalid

simplify112.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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: 6.4b

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))))
8.2b	(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))
35.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
8.0ms	(* y (log (/ y (+ z y))))
5.0ms	(log (/ y (+ z y)))

series49.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ y (+ z y))
19.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
13.0ms	(* y (log (/ y (+ z y))))
12.0ms	(log (/ y (+ z y)))

simplify50.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (36.0ms)

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

prune179.0ms

Filtered

90 candidates to 141 candidates (-56.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	136	5	141
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	137	5	142

Merged error: 0.2b

Counts

142 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.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)
7.0ms	(log (/ (cbrt y) (cbrt (+ z y))))
8.0ms	(log (/ (cbrt y) (cbrt (+ z y))))

series96.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify74.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 3 (59.0ms)

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

prune181.0ms

Filtered

102 candidates to 152 candidates (-49.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	152	5	157

Merged error: 0.2b

Counts

157 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
8.2b	(log (/ y (+ z y)))
8.2b	(log (/ y (+ z y)))
8.2b	(log (/ y (+ z y)))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

54×	`log-prod`
49×	`*-un-lft-identity`
36×	`times-frac`
29×	`add-sqr-sqrt` `add-cube-cbrt`
13×	`add-exp-log`
10×	`distribute-lft-out`
7×	`pow1`
6×	`rem-log-exp` `associate-/r/`
4×	`cbrt-prod` `flip3-+` `add-cbrt-cube` `flip-+` `add-log-exp`
3×	`log-div` `div-exp` `log-pow` `div-inv`
2×	`cbrt-div`
1×	`pow1/3`

Counts

4 → 101

Calls

4 calls:

32.0ms	(cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
5.0ms	(log (/ y (+ z y)))
5.0ms	(log (/ y (+ z y)))
5.0ms	(log (/ y (+ z y)))

series91.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
11.0ms	(log (/ y (+ z y)))
11.0ms	(log (/ y (+ z y)))
12.0ms	(log (/ y (+ z y)))

simplify101.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 3 (91.0ms)

Iter	Nodes	Cost
0	389	911
1	1032	842
2	3263	799
3	5002	797

prune153.0ms

Filtered

83 candidates to 113 candidates (-36.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	111	2	113
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	112	6	118

Merged error: 0.2b

Counts

118 → 6

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))
29.8b	(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

rewrite31.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))
20.0ms	(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

series106.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(cbrt (+ z y))
32.0ms	(cbrt (+ z y))
29.0ms	(cbrt (+ z y))
16.0ms	(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

simplify76.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 3 (70.0ms)

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

prune126.0ms

Filtered

71 candidates to 82 candidates (-15.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	82	6	88

Merged error: 0.2b

Counts

88 → 6

regimes472.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	16
1	20	16

end0.0ms

sample3.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 19.042969%

Guaranteed chance to sample good point: 59.947979%

Results

394.0ms	5967×	body	80	valid
371.0ms	691×	body	1280	valid
237.0ms	706×	body	640	valid
95.0ms	410×	body	320	valid
74.0ms	231×	body	640	invalid
55.0ms	114×	body	1280	invalid
36.0ms	170×	body	320	invalid
36.0ms	719×	body	80	nan
32.0ms	226×	body	160	valid
28.0ms	464×	body	80	invalid
16.0ms	115×	body	160	invalid

Details

sample2.2s

simplify112.0ms

prune4.0ms

localize10.0ms

rewrite58.0ms

series49.0ms

simplify50.0ms

prune179.0ms

localize16.0ms

rewrite24.0ms

series96.0ms

simplify74.0ms

prune181.0ms

localize17.0ms

rewrite52.0ms

series91.0ms

simplify101.0ms

prune153.0ms

localize17.0ms

rewrite31.0ms

series106.0ms

simplify76.0ms

prune126.0ms

regimes472.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.8s

Profiling