Details

sample328.0ms

Algorithm

intervals

Results

13.0ms	449×	body	80	valid
8.0ms	449×	pre	80	true

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

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

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 71

Calls

3 calls:

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

series159.0ms

Counts

3 → 9

Calls

3 calls:

58.0ms	(* m (- 1.0 m))
51.0ms	(/ (* m (- 1.0 m)) v)
51.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

simplify46.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	310	409
1	1511	363
2	5001	357

prune314.0ms

Filtered

80 candidates to 52 candidates (35.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	71	9	80
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	9	81

Merged error: 0.0b

Counts

81 → 9

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 96

Calls

3 calls:

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

series132.0ms

Counts

3 → 9

Calls

3 calls:

42.0ms	(/ (- 1.0 m) v)
41.0ms	(* (- (* m (/ (- 1.0 m) v)) 1.0) m)
48.0ms	(* m (/ (- 1.0 m) v))

simplify50.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	370	577
1	1676	528
2	5002	522

prune470.0ms

Filtered

105 candidates to 71 candidates (32.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	105	9	114

Merged error: 0.0b

Counts

114 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

44×	`times-frac`
41×	`add-sqr-sqrt`
34×	`add-exp-log` `*-un-lft-identity`
28×	`add-cube-cbrt`
22×	`add-cbrt-cube`
14×	`div-exp`
12×	`associate-*r/`
11×	`associate-l` `associate-/r/`
10×	`associate-/r*`
9×	`pow1`
8×	`associate-r`
7×	`cbrt-undiv` `flip3--` `flip--` `div-inv`
6×	`prod-exp` `associate-/l*`
4×	`cbrt-unprod` `add-log-exp` `difference-of-squares`
3×	`rec-exp` `1-exp` `distribute-lft-out--`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 138

Calls

4 calls:

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

series220.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(* m (- 1.0 m))
52.0ms	(/ v (* m (- 1.0 m)))
59.0ms	(* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) m)
55.0ms	(/ 1 (/ v (* m (- 1.0 m))))

simplify71.0ms

Algorithm

egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	522	954
1	2623	797
2	5001	783

prune694.0ms

Filtered

150 candidates to 84 candidates (44.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	150	9	159

Merged error: 0.0b

Counts

159 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
0.3b	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
0.3b	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
0.3b	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 101

Calls

4 calls:

19.0ms	(* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
7.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
8.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
8.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))

series976.0ms

Counts

4 → 12

Calls

4 calls:

234.0ms	(* (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)) (cbrt (- (/ (* m (- 1.0 m)) v) 1.0)))
248.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
247.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))
246.0ms	(cbrt (- (/ (* m (- 1.0 m)) v) 1.0))

simplify138.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 3 (123.0ms)

Iter	Nodes	Cost
0	305	1577
1	939	1498
2	4519	1394
3	5001	1387

prune452.0ms

Filtered

113 candidates to 81 candidates (28.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	113	9	122

Merged error: 0.0b

Counts

122 → 9

regimes224.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	10	5
1	10	5

end0.0ms

sample957.0ms

Algorithm

intervals

Results

379.0ms	13709×	body	80	valid
235.0ms	13709×	pre	80	true

Details

sample328.0ms

simplify121.0ms

prune5.0ms

localize29.0ms

rewrite30.0ms

series159.0ms

simplify46.0ms

prune314.0ms

localize8.0ms

rewrite28.0ms

series132.0ms

simplify50.0ms

prune470.0ms

localize10.0ms

rewrite46.0ms

series220.0ms

simplify71.0ms

prune694.0ms

localize15.0ms

rewrite46.0ms

series976.0ms

simplify138.0ms

prune452.0ms

regimes224.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample957.0ms

Profiling