Details

sample345.0ms

Algorithm

intervals

Results

39.0ms	445×	body	80	valid
6.0ms	17×	body	640	valid
4.0ms	7×	body	1280	valid
1.0ms	5×	body	320	valid
1.0ms	4×	body	160	valid

simplify65.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	103	63
1	372	62
2	1914	61
3	5002	61

prune17.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: 0.5b

Counts

2 → 2

localize38.0ms

Local error

Found 4 expressions with local error:

2.7b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
3.0b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
7.0b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
7.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite121.0ms

Algorithm

rewrite-expression-head

Rules

81×	`associate-*r/`
43×	`flip3--` `flip--`
40×	`frac-add`
24×	`frac-times`
14×	`associate-l` `clear-num` `associate-/l/`
12×	`associate-*l/`
8×	`*-commutative`
7×	`sub-neg` `frac-2neg` `un-div-inv`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-+l+` `associate-+r+`
3×	`associate-r`
2×	`flip3-+` `associate-/r/` `flip-+` `distribute-lft-out`
1×	`+-commutative` `associate--l-` `div-sub` `div-inv`

Counts

4 → 81

Calls

4 calls:

53.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
14.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
17.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
29.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series616.0ms

Counts

4 → 12

Calls

4 calls:

339.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
104.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
67.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
106.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify91.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	1569	5985
1	5002	5985

prune696.0ms

Filtered

93 candidates to 71 candidates (76.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	85	8	93
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	86	9	95

Merged error: 0.4b

Counts

95 → 9

localize34.0ms

Local error

Found 4 expressions with local error:

2.7b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
3.0b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
7.0b	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
7.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

78×	`associate-*r/`
42×	`flip3--` `flip--`
40×	`frac-add`
24×	`frac-times`
12×	`associate-*l/` `clear-num` `associate-/l/`
10×	`associate-l`
8×	`distribute-rgt-in` `distribute-lft-in`
7×	`sub-neg` `*-commutative`
6×	`frac-2neg` `un-div-inv`
4×	`associate-+l+` `associate-+r+`
3×	`+-commutative`
2×	`flip3-+` `flip-+` `distribute-lft-out`
1×	`associate--l-` `div-sub`

Counts

4 → 76

Calls

4 calls:

56.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
13.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
11.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
20.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series644.0ms

Counts

4 → 12

Calls

4 calls:

338.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
104.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
104.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
98.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify90.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	1552	5975
1	5003	5975

prune647.0ms

Filtered

88 candidates to 65 candidates (73.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	81	7	88
Fresh	7	1	8
Picked	0	1	1
Done	0	0	0
Total	88	9	97

Merged error: 0.4b

Counts

97 → 9

localize39.0ms

Local error

Found 4 expressions with local error:

3.0b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.1b	(+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
7.0b	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
8.6b	(* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

rewrite141.0ms

Algorithm

rewrite-expression-head

Rules

192×	`associate-*r/`
81×	`flip3--` `flip--`
80×	`frac-add`
48×	`frac-times`
24×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/` `clear-num` `associate-/l/`
13×	`sub-neg`
12×	`associate-+l+` `associate-+r+` `frac-2neg` `un-div-inv`
5×	`+-commutative`
3×	`flip3-+` `*-commutative` `flip-+`
2×	`associate-l`
1×	`associate--l-` `div-sub`

Counts

4 → 128

Calls

4 calls:

16.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
49.0ms	(+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
11.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
53.0ms	(* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

series910.0ms

Counts

4 → 12

Calls

4 calls:

106.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
330.0ms	(+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
105.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
370.0ms	(* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

simplify124.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	1890	9879
1	5001	9879

prune977.0ms

Filtered

140 candidates to 100 candidates (71.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	135	5	140
Fresh	4	3	7
Picked	1	0	1
Done	0	1	1
Total	140	9	149

Merged error: 0.4b

Counts

149 → 9

localize35.0ms

Local error

Found 4 expressions with local error:

2.7b	(+ (* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1))) (* x1 (* x1 (- 6.0))))
3.0b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
7.0b	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
8.7b	(* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1)))

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

326×	`associate-*r/`
156×	`associate-*l/`
120×	`frac-add`
81×	`flip3--` `flip--`
76×	`clear-num` `associate-/l/`
72×	`frac-times`
38×	`frac-2neg` `un-div-inv`
28×	`associate-+l+`
22×	`distribute-rgt-in` `distribute-lft-in`
9×	`sub-neg` `*-commutative`
7×	`+-commutative`
4×	`associate-l` `distribute-rgt-neg-out`
3×	`flip3-+` `flip-+`
2×	`distribute-rgt-out` `associate-r` `distribute-lft-out`
1×	`associate--l-` `div-sub` `unsub-neg`

Counts

4 → 170

Calls

4 calls:

69.0ms	(+ (* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1))) (* x1 (* x1 (- 6.0))))
13.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
10.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
61.0ms	(* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1)))

series868.0ms

Counts

4 → 12

Calls

4 calls:

332.0ms	(+ (* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1))) (* x1 (* x1 (- 6.0))))
101.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
100.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
336.0ms	(* x1 (+ (* (* 2.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1)))

simplify133.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	2842	8650
1	5002	8650

prune1.1s

Filtered

182 candidates to 123 candidates (67.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	179	3	182
Fresh	1	6	7
Picked	1	0	1
Done	1	0	1
Total	182	9	191

Merged error: 0.4b

Counts

191 → 9

regimes274.0ms

Accuracy

0% (0.1b remaining)

Error of 0.5b against oracle of 0.4b and baseline of 0.5b

bsearch0.0ms

simplify7.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	80	78
1	111	78
2	131	78
3	141	78
4	149	78
5	155	78
6	159	78
7	167	78
8	169	78
9	169	78

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.2s	14076×	body	80	valid
143.0ms	425×	body	640	valid
82.0ms	328×	body	320	valid
72.0ms	163×	body	1280	valid
24.0ms	145×	body	160	valid