Details

sample78.0ms

Algorithm

intervals

Results

40.0ms

509×

body

valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	67	15
1	225	13
2	823	12
3	3028	12
4	5001	12

prune14.0ms

Filtered

1 candidates to 1 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: 4.4b

Counts

2 → 2

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* a 4.0) t)
0.3b	(* (* j 27.0) k)
3.4b	(* (* (* x 18.0) y) z)
7.0b	(* (* (* (* x 18.0) y) z) t)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

22×	`associate-l`
11×	`*-commutative`

Counts

4 → 18

Calls

4 calls:

4.0ms	(* (* a 4.0) t)
3.0ms	(* (* j 27.0) k)
5.0ms	(* (* (* x 18.0) y) z)
8.0ms	(* (* (* (* x 18.0) y) z) t)

series115.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (* a 4.0) t)
21.0ms	(* (* j 27.0) k)
27.0ms	(* (* (* x 18.0) y) z)
45.0ms	(* (* (* (* x 18.0) y) z) t)

simplify21.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	79	52
1	202	52
2	338	52
3	339	52
4	339	52

prune156.0ms

Filtered

30 candidates to 22 candidates (73.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	22	8	30
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	23	9	32

Merged error: 0.0b

Counts

32 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* a 4.0) t)
0.3b	(* (* j 27.0) k)
4.2b	(* (* (* x 18.0) y) t)
6.4b	(* z (* (* (* x 18.0) y) t))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

16×	`associate-l`
11×	`*-commutative`
6×	`associate-r`

Counts

4 → 18

Calls

4 calls:

4.0ms	(* (* a 4.0) t)
3.0ms	(* (* j 27.0) k)
5.0ms	(* (* (* x 18.0) y) t)
6.0ms	(* z (* (* (* x 18.0) y) t))

series121.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (* a 4.0) t)
19.0ms	(* (* j 27.0) k)
28.0ms	(* (* (* x 18.0) y) t)
50.0ms	(* z (* (* (* x 18.0) y) t))

simplify20.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	74	46
1	159	46
2	251	46
3	309	46
4	309	46

prune166.0ms

Filtered

30 candidates to 23 candidates (76.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	26	4	30
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	31	8	39

Merged error: 0.0b

Counts

39 → 8

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.3b	(* (* j 27.0) k)
4.2b	(* (* (* x 18.0) y) t)
6.4b	(* z (* (* (* x 18.0) y) t))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

16×	`associate-l`
11×	`*-commutative`
6×	`associate-r`

Counts

4 → 18

Calls

4 calls:

4.0ms	(* (* x 18.0) y)
3.0ms	(* (* j 27.0) k)
5.0ms	(* (* (* x 18.0) y) t)
6.0ms	(* z (* (* (* x 18.0) y) t))

series121.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (* x 18.0) y)
19.0ms	(* (* j 27.0) k)
29.0ms	(* (* (* x 18.0) y) t)
52.0ms	(* z (* (* (* x 18.0) y) t))

simplify21.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	68	46
1	148	46
2	249	46
3	316	46
4	316	46

prune159.0ms

Filtered

30 candidates to 23 candidates (76.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	31	7	38

Merged error: 0.0b

Counts

38 → 7

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* z 18.0) (* (* x y) t)) (* 4.0 (* t a)))
0.3b	(* (* j 27.0) k)
4.2b	(* (* x y) t)
6.4b	(* (* z 18.0) (* (* x y) t))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

45×	`*-commutative`
42×	`associate-r`
32×	`prod-diff`
28×	`associate-l`
8×	`fma-neg`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `flip--`

Counts

4 → 58

Calls

4 calls:

12.0ms	(- (* (* z 18.0) (* (* x y) t)) (* 4.0 (* t a)))
3.0ms	(* (* j 27.0) k)
4.0ms	(* (* x y) t)
6.0ms	(* (* z 18.0) (* (* x y) t))

series209.0ms

Counts

4 → 12

Calls

4 calls:

113.0ms	(- (* (* z 18.0) (* (* x y) t)) (* 4.0 (* t a)))
18.0ms	(* (* j 27.0) k)
29.0ms	(* (* x y) t)
48.0ms	(* (* z 18.0) (* (* x y) t))

simplify45.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	244	519
1	777	450
2	5001	446

prune173.0ms

Filtered

70 candidates to 30 candidates (42.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	71	6	77

Merged error: 0.0b

Counts

77 → 6

regimes905.0ms

Accuracy

66.2% (1.6b remaining)

Error of 1.7b against oracle of 0.2b and baseline of 4.8b

bsearch267.0ms

Steps

Iters	Range		Point
6	1.2584175453142389e-57	1.1200771696747453e-56	9.080935547367747e-57
9	-9163551916593518.0	-3981383454.147858	-24694289992.637722

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	30
1	70	30

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.2s

16005×

body

valid