Details

sample246.0ms

Algorithm

intervals

Results

215.0ms	453×	body	80	valid
10.0ms	453×	pre	80	true

simplify117.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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	2117	5
10	3037	5
11	5001	5

prune4.0ms

Filtered

1 candidates to 0 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.2b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
13×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt`
8×	`pow1` `associate-r` `associate-l`
6×	`add-log-exp`
4×	`flip3--` `associate-*r/` `flip--`
3×	`sub-neg` `times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `diff-log` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 85

Calls

4 calls:

8.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
6.0ms	(* m (- 1.0 m))
7.0ms	(/ (* m (- 1.0 m)) v)
13.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

series40.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
5.0ms	(* m (- 1.0 m))
6.0ms	(/ (* m (- 1.0 m)) v)
15.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify49.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	334	532
1	1558	477
2	5002	465

prune129.0ms

Filtered

97 candidates to 63 candidates (35.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	91	6	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	6	98

Merged error: 0b

Counts

98 → 6

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

144×	`times-frac`
126×	`add-sqr-sqrt`
110×	`*-un-lft-identity`
74×	`add-cube-cbrt`
26×	`associate-/r*`
22×	`difference-of-squares`
18×	`distribute-lft-out--`
13×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r/`
7×	`flip3--` `associate-l` `flip--`
6×	`pow1` `div-inv` `associate-/l*` `add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`associate-r`
2×	`frac-2neg` `associate-*l/` `clear-num`
1×	`sub-neg` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 179

Calls

4 calls:

24.0ms	(- (/ m (/ v (- 1.0 m))) 1.0)
5.0ms	(/ v (- 1.0 m))
9.0ms	(/ m (/ v (- 1.0 m)))
29.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) m)

series27.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (/ m (/ v (- 1.0 m))) 1.0)
9.0ms	(/ v (- 1.0 m))
5.0ms	(/ m (/ v (- 1.0 m)))
7.0ms	(* (- (/ m (/ v (- 1.0 m))) 1.0) m)

simplify79.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	631	1428
1	3014	1368
2	5001	1367

prune227.0ms

Filtered

191 candidates to 142 candidates (25.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	190	1	191
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	191	6	197

Merged error: 0b

Counts

197 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

474×	`times-frac`
342×	`add-sqr-sqrt`
308×	`*-un-lft-identity`
222×	`add-cube-cbrt`
141×	`sqrt-prod`
134×	`associate-r`
43×	`distribute-lft-out--` `difference-of-squares`
30×	`associate-/r/`
26×	`associate-/r*`
22×	`add-exp-log` `add-cbrt-cube`
16×	`div-inv`
15×	`flip3--` `flip--`
11×	`unswap-sqr`
9×	`associate-l` `associate-/l*`
8×	`pow1`
7×	`cbrt-undiv` `div-exp`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `-commutative`
1×	`associate-*r/`

Counts

4 → 388

Calls

4 calls:

5.0ms	(/ v (- 1.0 m))
18.0ms	(* (- (* (sqrt m) (/ (sqrt m) (/ v (- 1.0 m)))) 1.0) m)
10.0ms	(/ (sqrt m) (/ v (- 1.0 m)))
41.0ms	(* (sqrt m) (/ (sqrt m) (/ v (- 1.0 m))))

series50.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ v (- 1.0 m))
13.0ms	(* (- (* (sqrt m) (/ (sqrt m) (/ v (- 1.0 m)))) 1.0) m)
17.0ms	(/ (sqrt m) (/ v (- 1.0 m)))
15.0ms	(* (sqrt m) (/ (sqrt m) (/ v (- 1.0 m))))

simplify71.0ms

Algorithm

egg-herbie

Counts

400 → 400

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1261	3740
1	5001	3473

prune399.0ms

Filtered

400 candidates to 238 candidates (40.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	400	0	400
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	400	6	406

Merged error: 0b

Counts

406 → 6

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
31×	`times-frac`
26×	`add-cube-cbrt`
22×	`associate-r`
13×	`add-exp-log` `add-cbrt-cube`
8×	`pow1`
7×	`distribute-lft-out--` `difference-of-squares`
6×	`associate-l` `add-log-exp`
5×	`associate-/l*`
3×	`flip3--` `prod-exp` `associate-/r*` `flip--` `cbrt-unprod` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `associate-/l/`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `associate-*r/` `clear-num`

Counts

4 → 108

Calls

4 calls:

6.0ms	(- (* m (/ (- 1.0 m) v)) 1.0)
6.0ms	(/ (- 1.0 m) v)
9.0ms	(* (- (* m (/ (- 1.0 m) v)) 1.0) m)
9.0ms	(* m (/ (- 1.0 m) v))

series25.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (* m (/ (- 1.0 m) v)) 1.0)
7.0ms	(/ (- 1.0 m) v)
7.0ms	(* (- (* m (/ (- 1.0 m) v)) 1.0) m)
6.0ms	(* m (/ (- 1.0 m) v))

simplify51.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	392	684
1	1724	626
2	5001	614

prune116.0ms

Filtered

120 candidates to 81 candidates (32.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	120	6	126

Merged error: 0b

Counts

126 → 6

regimes95.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	5
1	9	5

end0.0ms

sample1.0s

Algorithm

intervals

Results

408.0ms	13664×	body	80	valid
248.0ms	13664×	pre	80	true

Details

sample246.0ms

simplify117.0ms

prune4.0ms

localize9.0ms

rewrite37.0ms

series40.0ms

simplify49.0ms

prune129.0ms

localize7.0ms

rewrite74.0ms

series27.0ms

simplify79.0ms

prune227.0ms

localize9.0ms

rewrite102.0ms

series50.0ms

simplify71.0ms

prune399.0ms

localize7.0ms

rewrite34.0ms

series25.0ms

simplify51.0ms

prune116.0ms

regimes95.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling