Details

sample868.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 93.847656%

Results

38.0ms

545×

body

valid

simplify424.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	667	14
3	3125	14
4	5002	14

prune5.0ms

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.9b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

3.5b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
4.7b	(* (* (* w w) r) r)
4.7b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
9.5b	(* (* w w) r)

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 119

Calls

4 calls:

12.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
7.0ms	(* (* (* w w) r) r)
16.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
28.0ms	(* (* w w) r)

series67.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
7.0ms	(* (* (* w w) r) r)
24.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
11.0ms	(* (* w w) r)

simplify99.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (86.0ms)

Iter	Nodes	Cost
0	670	1303
1	3876	935
2	5003	931

prune158.0ms

Filtered

61 candidates to 131 candidates (-114.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	124	7	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	125	7	132

Merged error: 1.4b

Counts

132 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 2.0 (* r r))
0.3b	(* (fabs (* w r)) (fabs (* w r)))
3.5b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
4.7b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-exp-log` `add-cbrt-cube`
23×	`pow1`
18×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
16×	`*-un-lft-identity`
12×	`add-cube-cbrt`
9×	`pow-prod-down`
8×	`times-frac`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
4×	`associate-r/` `associate-r` `associate-l` `associate-l/` `associate-/l*` `add-log-exp`
3×	`flip3--` `swap-sqr` `flip--`
2×	`frac-2neg` `clear-num` `associate-/r/` `*-commutative` `div-inv` `associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`pow2` `pow-plus` `pow-sqr` `pow-prod-up` `unswap-sqr`

Counts

4 → 105

Calls

4 calls:

4.0ms	(/ 2.0 (* r r))
3.0ms	(* (fabs (* w r)) (fabs (* w r)))
8.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
13.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

series44.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ 2.0 (* r r))
4.0ms	(* (fabs (* w r)) (fabs (* w r)))
14.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))
23.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))

simplify71.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	559	1085
1	2754	841
2	5001	821

prune213.0ms

Filtered

70 candidates to 117 candidates (-67.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	105	12	117
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	109	15	124

Merged error: 0.1b

Counts

124 → 15

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
0.3b	(/ 2.0 (* r r))
0.3b	(pow (fabs (* w r)) 2)
6.2b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

167×	`times-frac`
117×	`add-sqr-sqrt` `*-un-lft-identity`
67×	`add-cube-cbrt`
53×	`associate-/r*`
51×	`unpow-prod-down`
39×	`add-exp-log`
25×	`distribute-lft-out--` `difference-of-squares`
23×	`add-cbrt-cube`
19×	`div-exp`
17×	`unpow2` `sqr-pow`
9×	`cbrt-undiv` `associate-/l*`
5×	`pow1` `prod-exp` `div-inv`
4×	`pow-to-exp` `pow-exp` `associate-/l/` `add-log-exp`
3×	`pow-unpow` `frac-2neg` `clear-num` `cbrt-unprod`
2×	`flip3--` `associate-*r/` `flip--`
1×	`pow-pow` `div-sub` `associate-/r/`

Counts

4 → 223

Calls

4 calls:

7.0ms	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
4.0ms	(/ 2.0 (* r r))
2.0ms	(pow (fabs (* w r)) 2)
15.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

series50.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ (- 1.0 v) (pow (fabs (* w r)) 2))
3.0ms	(/ 2.0 (* r r))
4.0ms	(pow (fabs (* w r)) 2)
22.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (pow (fabs (* w r)) 2)))

simplify100.0ms

Algorithm

egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	971	2431
1	4194	2156
2	5002	2156

prune414.0ms

Filtered

136 candidates to 235 candidates (-72.8%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	225	10	235
Fresh	8	6	14
Picked	1	0	1
Done	0	0	0
Total	234	16	250

Merged error: 0.1b

Counts

250 → 16

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 2.0 (* r r))
0.3b	(pow (fabs (* w r)) 2)
0.4b	(/ 0.125 (/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v))))
6.0b	(/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v)))

rewrite131.0ms

Algorithm

rewrite-expression-head

Rules

1717×	`times-frac`
932×	`add-sqr-sqrt` `*-un-lft-identity`
676×	`add-cube-cbrt`
243×	`unpow-prod-down`
142×	`associate-/r*`
128×	`distribute-lft-out--` `difference-of-squares`
81×	`unpow2` `sqr-pow`
50×	`associate-/l*`
36×	`add-exp-log`
23×	`add-cbrt-cube` `div-inv`
21×	`div-exp`
11×	`cbrt-undiv` `associate-/r/`
5×	`pow1` `flip3--` `flip--`
4×	`add-log-exp`
3×	`pow-to-exp` `pow-unpow` `frac-2neg` `pow-exp` `clear-num`
2×	`div-sub`
1×	`pow-pow` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 812

Calls

4 calls:

4.0ms	(/ 2.0 (* r r))
2.0ms	(pow (fabs (* w r)) 2)
34.0ms	(/ 0.125 (/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v))))
15.0ms	(/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v)))

series58.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ 2.0 (* r r))
4.0ms	(pow (fabs (* w r)) 2)
22.0ms	(/ 0.125 (/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v))))
30.0ms	(/ (/ (- 1.0 v) (pow (fabs (* w r)) 2)) (- 3.0 (* 2.0 v)))

simplify192.0ms

Algorithm

egg-herbie

Counts

824 → 824

Iterations

Useful iterations: 1 (52.0ms)

Iter	Nodes	Cost
0	3151	15153
1	5001	14640

prune2.9s

Filtered

480 candidates to 824 candidates (-71.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	820	4	824
Fresh	7	8	15
Picked	1	0	1
Done	0	0	0
Total	828	12	840

Merged error: 0.1b

Counts

840 → 12

regimes356.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	26
1	29	26

end0.0ms

sample2.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 93.847656%

Results

1.2s

17127×

body

valid

Details

sample868.0ms

simplify424.0ms

prune5.0ms

localize20.0ms

rewrite70.0ms

series67.0ms

simplify99.0ms

prune158.0ms

localize17.0ms

rewrite35.0ms

series44.0ms

simplify71.0ms

prune213.0ms

localize20.0ms

rewrite40.0ms

series50.0ms

simplify100.0ms

prune414.0ms

localize18.0ms

rewrite131.0ms

series58.0ms

simplify192.0ms

prune2.9s

regimes356.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.3s

Profiling