Details

sample15.0ms

Algorithm

intervals

Results

8.0ms

343×

body

valid

simplify76.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (12.0ms)

Iter	Nodes	Cost
0	26	6
1	55	6
2	122	6
3	205	6
4	253	5
5	307	5
6	363	5
7	498	5
8	911	5
9	1187	5
10	1188	5
11	1188	5

prune4.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: 0.1b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* (* x 3.0) x) (* x 4.0))
0.1b	(* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
0.2b	(* (* x 3.0) x)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

5×	`*-commutative`
4×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
3×	`sub-neg` `associate-l`
2×	`+-commutative` `associate-*r/` `distribute-lft-out--`
1×	`flip3--` `distribute-rgt-out--` `flip3-+` `flip--` `flip-+`

Counts

3 → 21

Calls

3 calls:

6.0ms	(- (* (* x 3.0) x) (* x 4.0))
12.0ms	(* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
3.0ms	(* (* x 3.0) x)

series127.0ms

Counts

3 → 9

Calls

3 calls:

71.0ms	(- (* (* x 3.0) x) (* x 4.0))
31.0ms	(* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
24.0ms	(* (* x 3.0) x)

simplify61.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 3 (57.0ms)

Iter	Nodes	Cost
0	136	148
1	407	142
2	1645	131
3	5001	129

prune40.0ms

Filtered

30 candidates to 14 candidates (46.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Merged error: 0.0b

Counts

31 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(* x (- (* x 9.0) 12.0))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `*-commutative` `flip--`

Counts

1 → 7

Calls

1 calls:

4.0ms

(* x (- (* x 9.0) 12.0))

series61.0ms

Counts

1 → 3

Calls

1 calls:

61.0ms

(* x (- (* x 9.0) 12.0))

simplify75.0ms

Algorithm

egg-herbie

Counts

10 → 10

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	55	39
1	136	36
2	479	36
3	1695	36
4	5001	36

prune15.0ms

Filtered

10 candidates to 4 candidates (40.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	8	2	10
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	9	5	14

Merged error: 0b

Counts

14 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 3.0 (pow x 2)) (* x 4.0))
0.1b	(* 3.0 (+ (- (* 3.0 (pow x 2)) (* x 4.0)) 1.0))
0.2b	(* 3.0 (pow x 2))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

4×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
3×	`sub-neg` `associate-r` `*-commutative`
2×	`+-commutative` `associate-*r/` `unpow2`
1×	`flip3--` `distribute-rgt-out--` `flip3-+` `flip--` `flip-+` `sqr-pow`

Counts

3 → 19

Calls

3 calls:

5.0ms	(- (* 3.0 (pow x 2)) (* x 4.0))
10.0ms	(* 3.0 (+ (- (* 3.0 (pow x 2)) (* x 4.0)) 1.0))
3.0ms	(* 3.0 (pow x 2))

series127.0ms

Counts

3 → 9

Calls

3 calls:

72.0ms	(- (* 3.0 (pow x 2)) (* x 4.0))
31.0ms	(* 3.0 (+ (- (* 3.0 (pow x 2)) (* x 4.0)) 1.0))
24.0ms	(* 3.0 (pow x 2))

simplify67.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 3 (64.0ms)

Iter	Nodes	Cost
0	137	146
1	419	143
2	1602	133
3	5001	127

prune41.0ms

Filtered

28 candidates to 13 candidates (46.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	28	5	33

Merged error: 0b

Counts

33 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* 3.0 x) 4.0)
0.1b	(* (* 3.0 x) (- (* 3.0 x) 4.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

3×	`sub-neg`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-r/` `associate-l` `-commutative` `flip--`

Counts

2 → 13

Calls

2 calls:

3.0ms	(- (* 3.0 x) 4.0)
6.0ms	(* (* 3.0 x) (- (* 3.0 x) 4.0))

series123.0ms

Counts

2 → 6

Calls

2 calls:

40.0ms	(- (* 3.0 x) 4.0)
83.0ms	(* (* 3.0 x) (- (* 3.0 x) 4.0))

simplify129.0ms

Algorithm

egg-herbie

Counts

19 → 19

Iterations

Useful iterations: 4 (126.0ms)

Iter	Nodes	Cost
0	81	81
1	234	81
2	884	77
3	3136	76
4	5003	72

prune22.0ms

Filtered

19 candidates to 10 candidates (52.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	19	0	19
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	19	5	24

Merged error: 0b

Counts

24 → 5

regimes19.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample371.0ms

Algorithm

intervals

Results

257.0ms

10731×

body

valid