Details

sample79.0ms

Algorithm

intervals

Results

41.0ms

530×

body

valid

simplify78.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (12.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: 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)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 18

Calls

4 calls:

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

series128.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (* j 27.0) k)
26.0ms	(* (* x 18.0) y)
50.0ms	(* (* (* (* x 18.0) y) z) t)
32.0ms	(* (* (* x 18.0) y) z)

simplify18.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (2.0ms)

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

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

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 18

Calls

4 calls:

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

series134.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* (* j 27.0) k)
23.0ms	(* (* x 18.0) z)
38.0ms	(* (* (* x 18.0) z) t)
53.0ms	(* y (* (* (* x 18.0) z) t))

simplify23.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (2.0ms)

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

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

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

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

series136.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (* x 18.0) z)
20.0ms	(* 27.0 (* j k))
32.0ms	(* (* (* x 18.0) z) t)
55.0ms	(* y (* (* (* x 18.0) z) t))

simplify23.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (2.0ms)

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

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

localize28.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:

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

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

prune304.0ms

Filtered

30 candidates to 22 candidates (73.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Merged error: 0.0b

Counts

35 → 4

regimes681.0ms

Accuracy

50.3% (2.3b remaining)

Error of 2.4b against oracle of 0.1b and baseline of 4.8b

bsearch346.0ms

Steps

Iters	Range		Point
8	6.257863834511419e-23	2.5928938135181064e-20	7.070364762021825e-23
10	-3.623006698410637e+81	-5.1613685868666975e+70	-1.2535829321441683e+79

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	73	42
1	73	42

end0.0ms

sample2.0s

Algorithm

intervals

Results

1.1s

16041×

body

valid