Details

sample72.0ms

Algorithm

intervals

Results

33.0ms

509×

body

valid

simplify155.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	66	15
1	204	14
2	631	14
3	1468	14
4	2464	14
5	3909	14
6	5001	14

prune12.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 4.4b

Counts

2 → 1

localize21.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)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 18

Calls

4 calls:

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

series105.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (* a 4.0) t)
17.0ms	(* (* j 27.0) k)
25.0ms	(* (* (* x 18.0) y) z)
43.0ms	(* (* (* (* x 18.0) y) z) t)

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

prune145.0ms

Filtered

30 candidates to 22 candidates (73.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

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

Merged error: 0.0b

Counts

31 → 8

localize22.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))

rewrite20.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)
7.0ms	(* (* (* x 18.0) y) t)
6.0ms	(* z (* (* (* x 18.0) y) t))

series107.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* (* a 4.0) t)
19.0ms	(* (* j 27.0) k)
26.0ms	(* (* (* x 18.0) y) t)
44.0ms	(* z (* (* (* x 18.0) y) t))

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

prune146.0ms

Filtered

30 candidates to 23 candidates (76.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

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

Merged error: 0.0b

Counts

38 → 7

localize22.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))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 18

Calls

4 calls:

3.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))

series108.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (* x 18.0) y)
16.0ms	(* (* j 27.0) k)
25.0ms	(* (* (* x 18.0) y) t)
45.0ms	(* z (* (* (* x 18.0) y) t))

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

prune134.0ms

Filtered

30 candidates to 23 candidates (76.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	31	6	37

Merged error: 0.0b

Counts

37 → 6

localize24.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))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-commutative`
8×	`associate-l`
6×	`associate-r`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `flip--`

Counts

4 → 18

Calls

4 calls:

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

series188.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(- (* (* z 18.0) (* (* x y) t)) (* 4.0 (* t a)))
16.0ms	(* (* j 27.0) k)
27.0ms	(* (* x y) t)
43.0ms	(* (* z 18.0) (* (* x y) t))

simplify212.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	142	113
1	568	108
2	3656	105
3	5001	105

prune105.0ms

Filtered

30 candidates to 21 candidates (70.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	29	1	30
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	31	5	36

Merged error: 0.0b

Counts

36 → 5

regimes753.0ms

Accuracy

66.3% (1.6b remaining)

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

bsearch229.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.0s

Algorithm

intervals

Results

1.1s

16005×

body

valid