Details

sample75.0ms

Algorithm

intervals

Results

38.0ms

530×

body

valid

simplify143.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (4.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

prune13.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: 6.0b

Counts

2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* (* x 18.0) y)
6.7b	(* (* (* (* x 18.0) y) z) t)
7.2b	(* (* (* x 18.0) y) z)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 18

Calls

4 calls:

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

series106.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify13.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	73	52
1	191	52
2	322	52
3	322	52

prune135.0ms

Filtered

30 candidates to 21 candidates (70.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	24	6	30
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	25	7	32

Merged error: 0.0b

Counts

32 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* (* x 18.0) z)
4.1b	(* (* (* x 18.0) z) t)
8.1b	(* y (* (* (* x 18.0) z) t))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 18

Calls

4 calls:

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

series110.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* (* j 27.0) k)
19.0ms	(* (* x 18.0) z)
26.0ms	(* (* (* x 18.0) z) t)
45.0ms	(* y (* (* (* x 18.0) z) t))

simplify17.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	68	46
1	147	46
2	248	46
3	332	46
4	332	46

prune137.0ms

Filtered

30 candidates to 22 candidates (73.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	30	7	37

Merged error: 0.0b

Counts

37 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) z)
0.3b	(* 27.0 (* j k))
4.1b	(* (* (* x 18.0) z) t)
8.1b	(* y (* (* (* x 18.0) z) t))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

14×	`associate-l`
11×	`*-commutative`
8×	`associate-r`

Counts

4 → 18

Calls

4 calls:

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

series109.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* (* x 18.0) z)
17.0ms	(* 27.0 (* j k))
31.0ms	(* (* (* x 18.0) z) t)
42.0ms	(* y (* (* (* x 18.0) z) t))

simplify17.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	70	46
1	144	46
2	244	46
3	328	46
4	328	46

prune141.0ms

Filtered

30 candidates to 23 candidates (76.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	32	5	37

Merged error: 0.0b

Counts

37 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 27.0 (* j k))
0.3b	(* (* x 18.0) t)
5.9b	(* z (* (* x 18.0) t))
8.1b	(* y (* z (* (* x 18.0) t)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 18

Calls

4 calls:

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

series106.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* 27.0 (* j k))
17.0ms	(* (* x 18.0) t)
24.0ms	(* z (* (* x 18.0) t))
45.0ms	(* y (* z (* (* x 18.0) t)))

simplify17.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	72	48
1	154	48
2	290	48
3	345	48
4	345	48

prune114.0ms

Filtered

30 candidates to 22 candidates (73.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	31	4	35

Merged error: 0.0b

Counts

35 → 4

regimes582.0ms

Accuracy

64.2% (1.6b remaining)

Error of 2.0b against oracle of 0.4b and baseline of 4.8b

bsearch273.0ms

Steps

Iters	Range		Point
8	4.783563547488619e-21	1.5482865193010123e-16	1.598523045920712e-19
9	-1.3417951029768598e+66	-5.5761761144336285e+60	-1.394960843474333e+62

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	30
1	64	30

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.1s

16041×

body

valid