Details

sample40.0ms

Algorithm

intervals

Results

20.0ms

365×

body

valid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

prune4.0ms

Filtered

1 candidates to 0 candidates (100.0%)

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b	(* (* z 3.0) y)
0.3b	(/ y (* z 3.0))
6.8b	(/ t (* (* z 3.0) y))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
14×	`*-un-lft-identity`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac` `associate-/l*`
5×	`cbrt-undiv` `div-exp`
3×	`associate-r` `pow-prod-down`
2×	`associate-+l+` `frac-2neg` `frac-add` `clear-num` `associate-/r*` `sum-log` `div-inv` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `associate-l` `*-commutative` `flip--` `flip-+` `distribute-lft-out--`

Counts

4 → 81

Calls

4 calls:

9.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
4.0ms	(* (* z 3.0) y)
4.0ms	(/ y (* z 3.0))
6.0ms	(/ t (* (* z 3.0) y))

series31.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
4.0ms	(* (* z 3.0) y)
3.0ms	(/ y (* z 3.0))
6.0ms	(/ t (* (* z 3.0) y))

simplify52.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	405	532
1	2039	469
2	5001	469

prune136.0ms

Filtered

93 candidates to 62 candidates (33.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	84	9	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	9	94

Merged error: 0.0b

Counts

94 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
0.2b	(/ t (* z 3.0))
0.3b	(/ y (* z 3.0))
4.1b	(/ (/ t (* z 3.0)) y)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

39×	`times-frac`
29×	`*-un-lft-identity`
24×	`add-sqr-sqrt` `add-cube-cbrt`
23×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
9×	`cbrt-undiv` `div-exp` `add-log-exp`
7×	`div-inv`
5×	`associate-/r*`
4×	`pow1`
3×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod`
2×	`associate-+l+` `frac-add` `sum-log` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+` `associate-/l/` `distribute-lft-out--`

Counts

4 → 109

Calls

4 calls:

14.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
4.0ms	(/ t (* z 3.0))
4.0ms	(/ y (* z 3.0))
6.0ms	(/ (/ t (* z 3.0)) y)

series28.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	482	721
1	1906	657
2	5001	657

prune158.0ms

Filtered

121 candidates to 87 candidates (28.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	5	3	8
Picked	1	0	1
Done	0	0	0
Total	124	6	130

Merged error: 0.0b

Counts

130 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t (* z 3.0)) y))
0.2b	(/ t (* z 3.0))
0.3b	(* (/ 1 z) (/ y 3.0))
4.1b	(/ (/ t (* z 3.0)) y)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

61×	`times-frac`
53×	`add-sqr-sqrt`
40×	`add-exp-log` `*-un-lft-identity`
36×	`add-cube-cbrt`
30×	`add-cbrt-cube`
15×	`div-exp`
13×	`associate-r` `associate-l`
11×	`cbrt-undiv`
10×	`prod-exp` `associate-/l*`
9×	`add-log-exp`
8×	`div-inv`
6×	`pow1` `cbrt-unprod` `unswap-sqr`
4×	`associate-/r*`
2×	`rec-exp` `associate-+l+` `frac-2neg` `1-exp` `frac-add` `clear-num` `sum-log`
1×	`+-commutative` `frac-times` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `flip--` `flip-+` `associate-/l/` `distribute-lft-out`

Counts

4 → 143

Calls

4 calls:

10.0ms	(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t (* z 3.0)) y))
4.0ms	(/ t (* z 3.0))
10.0ms	(* (/ 1 z) (/ y 3.0))
6.0ms	(/ (/ t (* z 3.0)) y)

series32.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t (* z 3.0)) y))
3.0ms	(/ t (* z 3.0))
3.0ms	(* (/ 1 z) (/ y 3.0))
6.0ms	(/ (/ t (* z 3.0)) y)

simplify74.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	738	956
1	3458	851
2	5001	841

prune188.0ms

Filtered

155 candidates to 112 candidates (27.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	155	0	155
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	155	6	161

Merged error: 0.0b

Counts

161 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

4.1b	(/ (/ t (* z 3.0)) y)
12.6b	(cbrt (/ (/ t (* z 3.0)) y))
12.6b	(cbrt (/ (/ t (* z 3.0)) y))
12.6b	(cbrt (/ (/ t (* z 3.0)) y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

123×	`times-frac`
75×	`cbrt-prod`
62×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
17×	`div-inv`
13×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/l*`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/r*`
1×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/`

Counts

4 → 150

Calls

4 calls:

6.0ms	(/ (/ t (* z 3.0)) y)
5.0ms	(cbrt (/ (/ t (* z 3.0)) y))
7.0ms	(cbrt (/ (/ t (* z 3.0)) y))
5.0ms	(cbrt (/ (/ t (* z 3.0)) y))

series77.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ (/ t (* z 3.0)) y)
23.0ms	(cbrt (/ (/ t (* z 3.0)) y))
22.0ms	(cbrt (/ (/ t (* z 3.0)) y))
23.0ms	(cbrt (/ (/ t (* z 3.0)) y))

simplify48.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	402	1355
1	1418	1290
2	5002	1284

prune390.0ms

Filtered

162 candidates to 141 candidates (13.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	162	6	168

Merged error: 0.0b

Counts

168 → 6

regimes410.0ms

Accuracy

41.5% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 1.7b

bsearch53.0ms

Steps

Iters	Range		Point
8	9.674701650021461e-67	3.0214767419450734e-64	2.996673851644073e-64
9	-8.702411782235669e+152	-6.249921773951522e+143	-6.829854443990542e+143

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	23
1	38	23

end0.0ms

sample997.0ms

Algorithm

intervals

Results

499.0ms

11151×

body

valid

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

Details

sample40.0ms

simplify38.0ms

prune4.0ms

localize10.0ms

rewrite25.0ms

series31.0ms

simplify52.0ms

prune136.0ms

localize11.0ms

rewrite30.0ms

series28.0ms

simplify48.0ms

prune158.0ms

localize12.0ms

rewrite35.0ms

series32.0ms

simplify74.0ms

prune188.0ms

localize14.0ms

rewrite29.0ms

series77.0ms

simplify48.0ms

prune390.0ms

regimes410.0ms

bsearch53.0ms

simplify1.0ms

end0.0ms

sample997.0ms

Profiling

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7