Details

sample23.0ms

Algorithm

intervals

Results

11.0ms

331×

body

valid

simplify48.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

prune2.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.6b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b	(/ y (* z 3.0))
0.4b	(* (* z 3.0) y)
6.1b	(/ t (* (* z 3.0) y))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

145×	`add-sqr-sqrt`
117×	`associate-l`
102×	`times-frac`
93×	`*-un-lft-identity`
88×	`add-cube-cbrt`
78×	`associate-/r*`
56×	`frac-add`
54×	`associate-r`
32×	`unswap-sqr`
28×	`flip3--` `flip--`
23×	`add-exp-log` `add-cbrt-cube`
18×	`*-commutative`
12×	`associate-/l*`
9×	`pow1` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
5×	`cbrt-undiv` `div-exp`
4×	`frac-2neg` `clear-num`
3×	`pow-prod-down`
2×	`associate-+l+` `sum-log` `div-inv` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+` `distribute-lft-out--`

Counts

4 → 276

Calls

4 calls:

47.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
6.0ms	(/ y (* z 3.0))
7.0ms	(* (* z 3.0) y)
11.0ms	(/ t (* (* z 3.0) y))

series161.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
21.0ms	(/ y (* z 3.0))
22.0ms	(* (* z 3.0) y)
37.0ms	(/ t (* (* z 3.0) y))

simplify74.0ms

Algorithm

egg-herbie

Counts

288 → 288

Iterations

Useful iterations: 1 (36.0ms)

Iter	Nodes	Cost
0	1324	3037
1	5001	2990

prune558.0ms

Filtered

288 candidates to 220 candidates (23.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	280	8	288
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	281	8	289

Merged error: 0b

Counts

289 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite127.0ms

Algorithm

rewrite-expression-head

Rules

329×	`times-frac`
237×	`add-sqr-sqrt`
195×	`*-un-lft-identity`
188×	`add-cube-cbrt`
74×	`frac-add`
60×	`associate-r` `associate-l`
57×	`associate-/r*`
51×	`associate-/l*`
38×	`flip3--` `flip--`
27×	`associate-/l/`
21×	`add-exp-log` `add-cbrt-cube` `unswap-sqr`
20×	`*-commutative`
17×	`div-inv`
11×	`add-log-exp`
8×	`cbrt-undiv` `div-exp`
7×	`frac-2neg` `clear-num`
4×	`pow1`
3×	`prod-exp` `cbrt-unprod` `difference-of-squares`
2×	`sub-neg` `associate-+l+` `diff-log` `sum-log` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+`

Counts

4 → 380

Calls

4 calls:

13.0ms	(- x (/ y (* z 3.0)))
75.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t z) (* 3.0 y)))
7.0ms	(/ y (* z 3.0))
12.0ms	(/ (/ t z) (* 3.0 y))

series176.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(- x (/ y (* z 3.0)))
84.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t z) (* 3.0 y)))
26.0ms	(/ y (* z 3.0))
31.0ms	(/ (/ t z) (* 3.0 y))

simplify100.0ms

Algorithm

egg-herbie

Counts

392 → 392

Iterations

Useful iterations: 1 (48.0ms)

Iter	Nodes	Cost
0	2013	4640
1	5001	4590

prune847.0ms

Filtered

392 candidates to 295 candidates (24.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	387	5	392
Fresh	5	2	7
Picked	1	0	1
Done	0	0	0
Total	393	7	400

Merged error: 0b

Counts

400 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ y (* z 3.0))
0.2b	(/ t (* z (* (cbrt 3.0) (cbrt 3.0))))
0.4b	(* (cbrt 3.0) y)
4.9b	(/ (/ t (* z (* (cbrt 3.0) (cbrt 3.0)))) (* (cbrt 3.0) y))

rewrite411.0ms

Algorithm

rewrite-expression-head

Rules

4588×	`times-frac`
4247×	`add-sqr-sqrt`
2274×	`associate-r`
2007×	`add-cube-cbrt` `*-un-lft-identity`
1784×	`cbrt-prod`
1344×	`associate-l`
1232×	`unswap-sqr`
448×	`swap-sqr`
310×	`*-commutative`
145×	`associate-/l*`
116×	`associate-/r*`
111×	`add-cbrt-cube`
53×	`cbrt-unprod`
52×	`add-exp-log`
50×	`associate-/l/`
47×	`cbrt-undiv`
20×	`div-inv`
19×	`div-exp`
15×	`prod-exp`
6×	`pow1`
4×	`frac-2neg` `clear-num` `add-log-exp`
1×	`pow-prod-down`

Counts

4 → 2703

Calls

4 calls:

6.0ms	(/ y (* z 3.0))
27.0ms	(/ t (* z (* (cbrt 3.0) (cbrt 3.0))))
4.0ms	(* (cbrt 3.0) y)
86.0ms	(/ (/ t (* z (* (cbrt 3.0) (cbrt 3.0)))) (* (cbrt 3.0) y))

series322.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ y (* z 3.0))
130.0ms	(/ t (* z (* (cbrt 3.0) (cbrt 3.0))))
44.0ms	(* (cbrt 3.0) y)
128.0ms	(/ (/ t (* z (* (cbrt 3.0) (cbrt 3.0)))) (* (cbrt 3.0) y))

simplify459.0ms

Algorithm

egg-herbie

Counts

2715 → 2715

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5002	44935

prune6.8s

Filtered

2715 candidates to 1748 candidates (35.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	2714	1	2715
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	2716	6	2722

Merged error: 0b

Counts

2722 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite188.0ms

Algorithm

rewrite-expression-head

Rules

323×	`times-frac`
291×	`add-sqr-sqrt`
237×	`*-un-lft-identity`
217×	`add-cube-cbrt`
109×	`associate-/l*`
105×	`associate-/r*`
81×	`frac-times`
74×	`frac-add`
65×	`associate-l`
61×	`associate-r`
38×	`add-exp-log` `flip3--` `flip--`
28×	`add-cbrt-cube` `unswap-sqr`
27×	`clear-num` `associate-/l/`
26×	`frac-2neg`
20×	`div-inv`
17×	`*-commutative`
14×	`div-exp`
11×	`add-log-exp`
10×	`cbrt-undiv` `prod-exp`
9×	`associate-r/` `associate-l/`
7×	`difference-of-squares`
6×	`pow1` `cbrt-unprod` `distribute-lft-out--`
4×	`distribute-lft-out`
2×	`sub-neg` `rec-exp` `associate-+l+` `diff-log` `1-exp` `sum-log` `un-div-inv`
1×	`+-commutative` `associate-+l-` `flip3-+` `pow-prod-down` `flip-+`

Counts

4 → 477

Calls

4 calls:

15.0ms	(- x (* (/ 1 z) (/ y 3.0)))
101.0ms	(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t z) (* 3.0 y)))
14.0ms	(* (/ 1 z) (/ y 3.0))
12.0ms	(/ (/ t z) (* 3.0 y))

series178.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(- x (* (/ 1 z) (/ y 3.0)))
88.0ms	(+ (- x (* (/ 1 z) (/ y 3.0))) (/ (/ t z) (* 3.0 y)))
17.0ms	(* (/ 1 z) (/ y 3.0))
36.0ms	(/ (/ t z) (* 3.0 y))

simplify114.0ms

Algorithm

egg-herbie

Counts

489 → 489

Iterations

Useful iterations: 1 (58.0ms)

Iter	Nodes	Cost
0	2501	5564
1	5001	5448

prune934.0ms

Filtered

489 candidates to 330 candidates (32.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	486	3	489
Fresh	3	2	5
Picked	1	0	1
Done	0	0	0
Total	490	5	495

Merged error: 0b

Counts

495 → 5

regimes135.0ms

Accuracy

23% (1.3b remaining)

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

bsearch40.0ms

Steps

Iters	Range		Point
6	4.4029984604648165e-39	1.840234581980704e-38	1.2137440454064957e-38

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	21
1	36	21

end0.0ms

sample644.0ms

Algorithm

intervals

Results

370.0ms

11079×

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

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