Details

sample369.0ms

Algorithm

intervals

Results

307.0ms

3657×

body

valid

simplify65.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (14.0ms)

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

prune15.0ms

Filtered

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

Counts

2 → 2

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.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:

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

series77.0ms

Counts

4 → 10

Calls

4 calls:

29.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
23.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
24.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 (56.0ms)

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

prune1.0s

Filtered

224 candidates to 146 candidates (65.2%)

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

Counts

226 → 15

localize35.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.5b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.5b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite85.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)))
14.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
2.0ms	(sqrt PI)

series104.0ms

Counts

4 → 10

Calls

4 calls:

56.0ms	(* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
23.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
24.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify72.0ms

Algorithm

egg-herbie

Counts

338 → 338

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	1561	5057
1	5001	3459

prune1.3s

Filtered

338 candidates to 139 candidates (41.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	327	11	338
Fresh	6	8	14
Picked	1	0	1
Done	0	0	0
Total	334	19	353

Merged error: 0.1b

Counts

353 → 19

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.5b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.5b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

96×	`add-sqr-sqrt`
90×	`times-frac`
69×	`add-exp-log` `add-cbrt-cube`
68×	`add-cube-cbrt` `*-un-lft-identity`
39×	`associate-r`
38×	`pow1`
27×	`associate-l`
26×	`swap-sqr` `prod-exp` `cbrt-unprod`
21×	`cbrt-undiv` `div-exp`
10×	`unswap-sqr`
9×	`div-inv`
8×	`pow-plus` `pow-prod-up`
7×	`frac-times` `associate-*l/`
5×	`associate-*r/` `pow-prod-down`
4×	`pow2` `pow-sqr` `add-log-exp`
3×	`sqrt-prod` `*-commutative`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow3`

Counts

4 → 209

Calls

4 calls:

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

series84.0ms

Counts

4 → 10

Calls

4 calls:

36.0ms	(* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
24.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
24.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify86.0ms

Algorithm

egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	524	1755
1	2745	1311
2	5002	1183

prune928.0ms

Filtered

219 candidates to 128 candidates (58.4%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	219	0	219
Fresh	0	18	18
Picked	0	1	1
Done	0	0	0
Total	219	19	238

Merged error: 0.1b

Counts

238 → 19

localize40.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.5b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.5b	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b	(sqrt PI)

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

96×	`add-sqr-sqrt`
90×	`times-frac`
69×	`add-exp-log` `add-cbrt-cube`
68×	`add-cube-cbrt` `*-un-lft-identity`
39×	`associate-r`
38×	`pow1`
27×	`associate-l`
26×	`swap-sqr` `prod-exp` `cbrt-unprod`
21×	`cbrt-undiv` `div-exp`
10×	`unswap-sqr`
9×	`div-inv`
8×	`pow-plus` `pow-prod-up`
7×	`frac-times` `associate-*l/`
5×	`associate-*r/` `pow-prod-down`
4×	`pow2` `pow-sqr` `add-log-exp`
3×	`sqrt-prod` `*-commutative`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow3`

Counts

4 → 209

Calls

4 calls:

17.0ms	(* (* (/ 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)

series88.0ms

Counts

4 → 10

Calls

4 calls:

41.0ms	(* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
23.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
23.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify95.0ms

Algorithm

egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	606	1806
1	3184	1359
2	5002	1249

prune1.1s

Filtered

219 candidates to 130 candidates (59.4%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	218	1	219
Fresh	2	15	17
Picked	0	1	1
Done	0	1	1
Total	220	18	238

Merged error: 0.1b

Counts

238 → 18

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

sample6.4s

Algorithm

intervals

Results

5.5s

67719×

body

valid

Details

sample369.0ms

simplify65.0ms

prune15.0ms

localize29.0ms

rewrite47.0ms

series77.0ms

simplify75.0ms

prune1.0s

localize35.0ms

rewrite85.0ms

series104.0ms

simplify72.0ms

prune1.3s

localize30.0ms

rewrite49.0ms

series84.0ms

simplify86.0ms

prune928.0ms

localize40.0ms

rewrite48.0ms

series88.0ms

simplify95.0ms

prune1.1s

regimes303.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample6.4s

Profiling