Details

sample2.6s

Algorithm

intervals

sampling

Space saved by range analysis: 22.671978%

Space saved by search: 0.146413%

Guaranteed chance to sample good point: 0%

Results

12.0ms	23×	body	1280	valid
11.0ms	186×	body	80	valid
9.0ms	27×	body	640	valid
6.0ms	18×	body	80	nan
2.0ms	8×	body	640	invalid
2.0ms	10×	body	320	valid
1.0ms	7×	body	320	invalid
1.0ms	10×	body	160	valid
1.0ms	4×	body	160	invalid
1.0ms	1×	body	1280	invalid
0.0ms	6×	body	80	invalid

simplify113.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.8b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.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:

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

series50.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
5.0ms	(/ y (+ z 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 (38.0ms)

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

prune156.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.1b

Counts

142 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
2.2b	(log (/ (cbrt y) (cbrt (+ z y))))
2.2b	(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))))
7.0ms	(log (/ (cbrt y) (cbrt (+ z y))))

series92.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
21.0ms	(cbrt y)
26.0ms	(log (/ (cbrt y) (cbrt (+ z y))))
23.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

prune172.0ms

Filtered

102 candidates to 152 candidates (-49.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Merged error: 0.1b

Counts

157 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.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)
11.0ms	(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

series81.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
23.0ms	(cbrt y)
21.0ms	(cbrt y)
15.0ms	(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

simplify48.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 3 (13.0ms)

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

prune90.0ms

Filtered

49 candidates to 62 candidates (-26.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	62	5	67

Merged error: 0.1b

Counts

67 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ z y))
0.6b	(cbrt (+ z y))
0.6b	(cbrt (+ z y))
29.6b	(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

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

series107.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify77.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 3 (71.0ms)

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

prune124.0ms

Filtered

71 candidates to 82 candidates (-15.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	82	5	87

Merged error: 0.1b

Counts

87 → 5

regimes295.0ms

Accuracy

0% (0.8b remaining)

Error of 1.1b against oracle of 0.3b and baseline of 1.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	16
1	20	16

end0.0ms

sample4.0s

Algorithm

intervals

sampling

Space saved by range analysis: 22.671978%

Space saved by search: 0.146413%

Guaranteed chance to sample good point: 0%

Results

378.0ms	5979×	body	80	valid
351.0ms	690×	body	1280	valid
222.0ms	681×	body	640	valid
91.0ms	409×	body	320	valid
86.0ms	279×	body	640	invalid
41.0ms	88×	body	1280	invalid
34.0ms	159×	body	320	invalid
33.0ms	241×	body	160	valid
27.0ms	548×	body	80	nan
15.0ms	249×	body	80	invalid
13.0ms	98×	body	160	invalid

Details

sample2.6s

simplify113.0ms

prune4.0ms

localize10.0ms

rewrite56.0ms

series50.0ms

simplify53.0ms

prune156.0ms

localize15.0ms

rewrite24.0ms

series92.0ms

simplify74.0ms

prune172.0ms

localize15.0ms

rewrite16.0ms

series81.0ms

simplify48.0ms

prune90.0ms

localize17.0ms

rewrite30.0ms

series107.0ms

simplify77.0ms

prune124.0ms

regimes295.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.0s

Profiling