Details

sample294.0ms

Algorithm

intervals

Results

28.0ms

501×

body

valid

simplify86.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (21.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	675	14
3	3242	13
4	5001	13

prune12.0ms

Filtered

1 candidates to 1 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: 10.3b

Counts

2 → 2

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
0.3b	(/ 2.0 (* r r))
3.6b	(* (* (* w w) r) r)
11.2b	(* (* w w) r)

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

103×	`add-sqr-sqrt`
76×	`associate-l`
54×	`add-cube-cbrt` `*-un-lft-identity`
45×	`times-frac`
30×	`unswap-sqr`
27×	`associate-r`
23×	`add-exp-log` `add-cbrt-cube`
21×	`swap-sqr`
18×	`pow1`
15×	`associate-/r*`
12×	`*-commutative`
10×	`prod-exp` `cbrt-unprod`
9×	`pow-prod-down`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/l*`
2×	`cbrt-undiv` `div-exp`
1×	`frac-2neg` `clear-num` `fma-udef` `div-inv`

Counts

4 → 184

Calls

4 calls:

1.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
8.0ms	(/ 2.0 (* r r))
15.0ms	(* (* (* w w) r) r)
12.0ms	(* (* w w) r)

series202.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
24.0ms	(/ 2.0 (* r r))
42.0ms	(* (* (* w w) r) r)
26.0ms	(* (* w w) r)

simplify81.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	563	920
1	2797	831
2	5002	814

prune462.0ms

Filtered

196 candidates to 122 candidates (37.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	183	13	196
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	184	14	198

Merged error: 0.1b

Counts

198 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)) 4.5) 3.0)
0.1b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)) 4.5)
0.3b	(/ 2.0 (* r r))
0.4b	(* (* r w) (* r w))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

89×	`add-sqr-sqrt`
65×	`*-un-lft-identity`
59×	`add-cube-cbrt`
45×	`times-frac`
43×	`pow1`
38×	`associate-l`
36×	`associate-r`
26×	`swap-sqr`
21×	`add-exp-log` `add-cbrt-cube`
17×	`pow-prod-down`
16×	`unswap-sqr`
15×	`associate-/r*`
9×	`prod-diff` `prod-exp` `*-commutative` `cbrt-unprod`
6×	`add-log-exp`
4×	`expm1-log1p-u` `pow-sqr` `pow-prod-up` `log1p-expm1-u`
3×	`fma-neg` `associate-/l*`
2×	`cbrt-undiv` `pow-plus` `div-exp` `fma-udef`
1×	`pow2` `sub-neg` `flip3--` `frac-2neg` `diff-log` `associate--l+` `clear-num` `flip--` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 193

Calls

4 calls:

4.0ms	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)) 4.5) 3.0)
1.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)) 4.5)
8.0ms	(/ 2.0 (* r r))
17.0ms	(* (* r w) (* r w))

series282.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(- (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)) 4.5) 3.0)
109.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)) 4.5)
30.0ms	(/ 2.0 (* r r))
31.0ms	(* (* r w) (* r w))

simplify110.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 2 (93.0ms)

Iter	Nodes	Cost
0	662	1400
1	3538	1212
2	5002	1197

prune450.0ms

Filtered

205 candidates to 117 candidates (42.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	190	15	205
Fresh	10	3	13
Picked	1	0	1
Done	0	0	0
Total	201	18	219

Merged error: 0.0b

Counts

219 → 18

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
0.1b	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)))
0.3b	(/ 2.0 (* r r))
0.4b	(* (* r w) (* r w))

rewrite171.0ms

Algorithm

rewrite-expression-head

Rules

447×	`add-sqr-sqrt`
260×	`*-un-lft-identity`
223×	`times-frac`
198×	`associate-l`
191×	`associate-r`
136×	`add-cube-cbrt`
118×	`unswap-sqr`
95×	`add-exp-log` `add-cbrt-cube`
61×	`pow1`
58×	`distribute-lft-out--` `difference-of-squares`
54×	`prod-exp` `cbrt-unprod`
46×	`swap-sqr`
35×	`associate-/l*`
30×	`pow-prod-down` `*-commutative`
26×	`associate-*l/`
25×	`associate-/r*`
14×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `flip3--` `associate-*r/` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `log1p-expm1-u` `associate-/l/` `add-log-exp`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`pow-plus`
1×	`pow2`

Counts

4 → 506

Calls

4 calls:

23.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
99.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)))
8.0ms	(/ 2.0 (* r r))
13.0ms	(* (* r w) (* r w))

series190.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
74.0ms	(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* r w) (* r w)))
24.0ms	(/ 2.0 (* r r))
37.0ms	(* (* r w) (* r w))

simplify96.0ms

Algorithm

egg-herbie

Counts

518 → 518

Iterations

Useful iterations: 1 (46.0ms)

Iter	Nodes	Cost
0	1952	4682
1	5001	4377

prune1.1s

Filtered

518 candidates to 302 candidates (41.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	506	12	518
Fresh	15	2	17
Picked	1	0	1
Done	0	0	0
Total	522	14	536

Merged error: 0.0b

Counts

536 → 14

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (/ 2.0 (sqrt (* r r))) (sqrt (* r r)))
0.4b	(* (* r w) (* r w))
10.5b	(sqrt (* r r))
10.5b	(sqrt (* r r))

rewrite205.0ms

Algorithm

rewrite-expression-head

Rules

2070×	`times-frac`
1785×	`sqrt-prod`
1358×	`add-sqr-sqrt`
1094×	`*-un-lft-identity`
1090×	`add-cube-cbrt`
383×	`associate-l`
381×	`associate-r`
373×	`swap-sqr`
133×	`unswap-sqr`
126×	`*-commutative`
61×	`associate-/l*`
59×	`pow1`
36×	`associate-/r*`
24×	`associate-/l/`
21×	`add-exp-log` `add-cbrt-cube`
20×	`div-inv`
19×	`pow-prod-down`
12×	`sqrt-pow1`
10×	`rem-sqrt-square`
8×	`prod-exp` `cbrt-unprod`
6×	`pow-sqr` `pow-prod-up`
4×	`expm1-log1p-u` `pow-plus` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `pow2` `div-exp`
2×	`frac-2neg` `pow1/2` `clear-num`

Counts

4 → 1307

Calls

4 calls:

51.0ms	(/ (/ 2.0 (sqrt (* r r))) (sqrt (* r r)))
13.0ms	(* (* r w) (* r w))
5.0ms	(sqrt (* r r))
5.0ms	(sqrt (* r r))

series80.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(/ (/ 2.0 (sqrt (* r r))) (sqrt (* r r)))
31.0ms	(* (* r w) (* r w))
8.0ms	(sqrt (* r r))
9.0ms	(sqrt (* r r))

simplify207.0ms

Algorithm

egg-herbie

Counts

1319 → 1319

Iterations

Useful iterations: 1 (50.0ms)

Iter	Nodes	Cost
0	2913	15083
1	5001	14761

prune2.6s

Filtered

1319 candidates to 529 candidates (59.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	1313	6	1319
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	1321	12	1333

Merged error: 0.0b

Counts

1333 → 12

regimes177.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	24
1	28	24

end0.0ms

sample1.3s

Algorithm

intervals

Results

905.0ms

16941×

body

valid