Details

sample281.0ms

Algorithm

intervals

Results

11.0ms	467×	body	80	valid
7.0ms	467×	pre	80	true

simplify116.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	16	5
1	34	5
2	67	5
3	169	5
4	345	5
5	466	5
6	670	5
7	1014	5
8	1528	5
9	2116	5
10	3036	5
11	5001	5

prune3.0ms

Filtered

1 candidates to 0 candidates (0.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: 0.2b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* m (- 1.0 m))
0.0b	(- (/ (* m (- 1.0 m)) v) 1.0)
0.0b	(/ (* m (- 1.0 m)) v)
0.2b	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

4×	`flip3--` `associate-*r/` `flip--`
3×	`sub-neg` `*-commutative`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-l/` `associate-/l/` `associate-/l`
1×	`frac-2neg` `clear-num` `div-inv`

Counts

4 → 21

Calls

4 calls:

3.0ms	(* m (- 1.0 m))
6.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
4.0ms	(/ (* m (- 1.0 m)) v)
10.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

series166.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* m (- 1.0 m))
23.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
37.0ms	(/ (* m (- 1.0 m)) v)
60.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify41.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 3 (37.0ms)

Iter	Nodes	Cost
0	145	155
1	364	152
2	1253	137
3	5001	128

prune56.0ms

Filtered

33 candidates to 17 candidates (51.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	27	6	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	28	6	34

Merged error: 0.1b

Counts

34 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* m (- (* 1.0 1.0) (* m m)))
0.0b	(/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v)
0.0b	(/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m))
0.2b	(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) m)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-commutative`
15×	`associate-/l/` `associate-/l*`
12×	`associate-r` `difference-of-squares`
6×	`associate-*r/`
4×	`flip3--` `associate-/r/` `flip--`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `flip3-+` `associate-*l/` `flip-+`

Counts

4 → 44

Calls

4 calls:

8.0ms	(* m (- (* 1.0 1.0) (* m m)))
10.0ms	(/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v)
9.0ms	(/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m))
13.0ms	(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) m)

series318.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(* m (- (* 1.0 1.0) (* m m)))
70.0ms	(/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v)
118.0ms	(/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m))
59.0ms	(* (- (/ (/ (* m (- (* 1.0 1.0) (* m m))) (+ 1.0 m)) v) 1.0) m)

simplify149.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 3 (144.0ms)

Iter	Nodes	Cost
0	255	271
1	838	264
2	4139	229
3	5001	225

prune106.0ms

Filtered

56 candidates to 35 candidates (62.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	54	2	56
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	57	5	62

Merged error: 0.0b

Counts

62 → 5

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ v (* (- 1.0 m) m))
0.0b	(- (/ 1 (/ v (* (- 1.0 m) m))) 1.0)
0.2b	(* (- (/ 1 (/ v (* (- 1.0 m) m))) 1.0) m)
0.3b	(/ 1 (/ v (* (- 1.0 m) m)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

9×	`associate-/r/`
7×	`associate-/r*`
6×	`associate-*l/`
4×	`flip3--` `clear-num` `flip--`
3×	`frac-2neg` `*-commutative` `div-inv`
1×	`sub-neg` `remove-double-div` `inv-pow`

Counts

4 → 27

Calls

4 calls:

4.0ms	(/ v (* (- 1.0 m) m))
7.0ms	(- (/ 1 (/ v (* (- 1.0 m) m))) 1.0)
8.0ms	(* (- (/ 1 (/ v (* (- 1.0 m) m))) 1.0) m)
5.0ms	(/ 1 (/ v (* (- 1.0 m) m)))

series162.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(/ v (* (- 1.0 m) m))
29.0ms	(- (/ 1 (/ v (* (- 1.0 m) m))) 1.0)
46.0ms	(* (- (/ 1 (/ v (* (- 1.0 m) m))) 1.0) m)
46.0ms	(/ 1 (/ v (* (- 1.0 m) m)))

simplify127.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	191	202
1	617	188
2	3770	171
3	5002	171

prune80.0ms

Filtered

39 candidates to 27 candidates (69.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	39	5	44

Merged error: 0.0b

Counts

44 → 5

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (/ v (- 1.0 m)) m)
0.0b	(- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0)
0.2b	(* (- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0) m)
0.3b	(/ 1 (/ (/ v (- 1.0 m)) m))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

13×	`associate-/r/`
7×	`clear-num` `associate-/l/`
6×	`associate-/l*`
5×	`frac-2neg` `div-inv`
4×	`flip3--` `flip--`
2×	`associate-*l/` `remove-double-div`
1×	`sub-neg` `associate-/r` `-commutative` `inv-pow`

Counts

4 → 32

Calls

4 calls:

4.0ms	(/ (/ v (- 1.0 m)) m)
8.0ms	(- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0)
9.0ms	(* (- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0) m)
5.0ms	(/ 1 (/ (/ v (- 1.0 m)) m))

series161.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(/ (/ v (- 1.0 m)) m)
27.0ms	(- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0)
46.0ms	(* (- (/ 1 (/ (/ v (- 1.0 m)) m)) 1.0) m)
46.0ms	(/ 1 (/ (/ v (- 1.0 m)) m))

simplify150.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	202	209
1	635	203
2	3934	176
3	5002	176

prune71.0ms

Filtered

44 candidates to 29 candidates (65.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	44	5	49

Merged error: 0.0b

Counts

49 → 5

regimes43.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	9
1	15	9

end0.0ms

sample686.0ms

Algorithm

intervals

Results

306.0ms	13809×	body	80	valid
167.0ms	13809×	pre	80	true