Details

sample649.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.996948%

Results

583.0ms

2985×

body

valid

simplify67.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	90	61
1	389	58
2	2115	36
3	5001	36

prune15.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: 1.2b

Counts

2 → 2

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

126×	`add-sqr-sqrt`
120×	`times-frac`
89×	`add-cube-cbrt` `*-un-lft-identity`
40×	`add-exp-log` `add-cbrt-cube`
39×	`swap-sqr` `associate-r` `associate-l`
26×	`pow1`
12×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
4×	`add-log-exp`
3×	`pow2` `frac-times` `pow-plus` `associate-r/` `pow-prod-down` `associate-l/` `sqrt-prod` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 214

Calls

4 calls:

12.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms	(sqrt PI)

series29.0ms

Counts

4 → 10

Calls

4 calls:

9.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify75.0ms

Algorithm

egg-herbie

Counts

224 → 224

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	426	1780
1	2077	1524
2	5002	1377

prune1.1s

Filtered

146 candidates to 224 candidates (-53.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	210	14	224
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	211	15	226

Merged error: 0.5b

Counts

226 → 15

localize37.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

573×	`add-exp-log`
333×	`add-cbrt-cube`
298×	`prod-exp`
201×	`div-exp`
170×	`cbrt-unprod`
105×	`cbrt-undiv`
93×	`add-sqr-sqrt`
89×	`times-frac`
68×	`add-cube-cbrt` `*-un-lft-identity`
51×	`frac-times` `associate-*l/`
39×	`associate-r`
33×	`pow1`
27×	`associate-l`
26×	`swap-sqr`
17×	`associate-*r/`
16×	`pow-to-exp` `pow-exp`
12×	`pow-prod-down`
9×	`div-inv`
8×	`unswap-sqr`
4×	`add-log-exp`
3×	`sqrt-prod` `*-commutative`
2×	`pow2` `pow-plus` `pow-sqr` `pow-prod-up`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 328

Calls

4 calls:

25.0ms	(* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
2.0ms	(sqrt PI)

series34.0ms

Counts

4 → 10

Calls

4 calls:

15.0ms	(* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
9.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify76.0ms

Algorithm

egg-herbie

Counts

338 → 338

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	1561	5057
1	5001	3459

prune1.3s

Filtered

139 candidates to 338 candidates (-143.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	326	12	338
Fresh	7	7	14
Picked	1	0	1
Done	0	0	0
Total	334	19	353

Merged error: 0.2b

Counts

353 → 19

localize30.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

145×	`add-exp-log` `add-cbrt-cube`
93×	`add-sqr-sqrt`
89×	`times-frac`
68×	`add-cube-cbrt` `*-un-lft-identity`
66×	`prod-exp` `cbrt-unprod`
65×	`pow1`
45×	`cbrt-undiv` `div-exp`
39×	`associate-r`
27×	`associate-l`
26×	`swap-sqr`
23×	`pow-plus` `pow-prod-up`
19×	`frac-times` `associate-*l/`
9×	`associate-*r/` `div-inv`
8×	`pow-prod-down` `unswap-sqr`
6×	`pow2` `pow-sqr`
4×	`add-log-exp`
3×	`sqrt-prod` `*-commutative`
2×	`pow3`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 249

Calls

4 calls:

21.0ms	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms	(sqrt PI)

series32.0ms

Counts

4 → 10

Calls

4 calls:

13.0ms	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify103.0ms

Algorithm

egg-herbie

Counts

259 → 259

Iterations

Useful iterations: 2 (82.0ms)

Iter	Nodes	Cost
0	785	2536
1	3570	1631
2	5002	1358

prune904.0ms

Filtered

130 candidates to 259 candidates (-99.2%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	259	0	259
Fresh	0	18	18
Picked	0	1	1
Done	0	0	0
Total	259	19	278

Merged error: 0.2b

Counts

278 → 19

localize37.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

145×	`add-exp-log` `add-cbrt-cube`
93×	`add-sqr-sqrt`
89×	`times-frac`
68×	`add-cube-cbrt` `*-un-lft-identity`
66×	`prod-exp` `cbrt-unprod`
65×	`pow1`
45×	`cbrt-undiv` `div-exp`
39×	`associate-r`
27×	`associate-l`
26×	`swap-sqr`
23×	`pow-plus` `pow-prod-up`
19×	`frac-times` `associate-*l/`
9×	`associate-*r/` `div-inv`
8×	`pow-prod-down` `unswap-sqr`
6×	`pow2` `pow-sqr`
4×	`add-log-exp`
3×	`sqrt-prod` `*-commutative`
2×	`pow3`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 249

Calls

4 calls:

21.0ms	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms	(sqrt PI)

series32.0ms

Counts

4 → 10

Calls

4 calls:

13.0ms	(* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
9.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify127.0ms

Algorithm

egg-herbie

Counts

259 → 259

Iterations

Useful iterations: 2 (104.0ms)

Iter	Nodes	Cost
0	855	2533
1	4101	1642
2	5001	1381

prune861.0ms

Filtered

131 candidates to 259 candidates (-97.7%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	258	1	259
Fresh	1	16	17
Picked	1	0	1
Done	0	1	1
Total	260	18	278

Merged error: 0.2b

Counts

278 → 18

regimes270.0ms

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	47
1	45	47

end0.0ms

sample3.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.996948%

Results

2.7s

13795×

body

valid

Details

sample649.0ms

simplify67.0ms

prune15.0ms

localize29.0ms

rewrite44.0ms

series29.0ms

simplify75.0ms

prune1.1s

localize37.0ms

rewrite77.0ms

series34.0ms

simplify76.0ms

prune1.3s

localize30.0ms

rewrite55.0ms

series32.0ms

simplify103.0ms

prune904.0ms

localize37.0ms

rewrite56.0ms

series32.0ms

simplify127.0ms

prune861.0ms

regimes270.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.0s

Profiling