Details

sample751.0ms

Algorithm

intervals

Results

686.0ms

3334×

body

valid

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

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

localize32.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)

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:

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

series35.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify71.0ms

Algorithm

egg-herbie

Counts

224 → 224

Iterations

Useful iterations: 2 (54.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

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

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

241×	`add-exp-log`
145×	`add-cbrt-cube`
114×	`prod-exp`
93×	`add-sqr-sqrt`
89×	`times-frac`
85×	`div-exp`
68×	`add-cube-cbrt` `*-un-lft-identity`
66×	`cbrt-unprod`
45×	`cbrt-undiv`
39×	`associate-r`
28×	`pow1`
27×	`associate-l`
26×	`swap-sqr`
19×	`frac-times` `associate-*l/`
9×	`associate-*r/` `div-inv`
8×	`pow-to-exp` `pow-prod-down` `pow-exp` `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 → 247

Calls

4 calls:

19.0ms	(* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
11.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms	(sqrt PI)

series35.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)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
10.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify48.0ms

Algorithm

egg-herbie

Counts

257 → 257

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	956	2876
1	5002	2096

prune923.0ms

Filtered

133 candidates to 257 candidates (-93.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	249	8	257
Fresh	8	6	14
Picked	1	0	1
Done	0	0	0
Total	258	14	272

Merged error: 0.3b

Counts

272 → 14

localize34.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))) (/ 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)

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 332

Calls

4 calls:

28.0ms	(* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
11.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
11.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms	(sqrt PI)

series35.0ms

Counts

4 → 10

Calls

4 calls:

15.0ms	(* (* (* (* (/ 1.0 (fabs x)) (/ 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)

simplify136.0ms

Algorithm

egg-herbie

Counts

342 → 342

Iterations

Useful iterations: 2 (98.0ms)

Iter	Nodes	Cost
0	1306	4435
1	4803	2405
2	5001	2358

prune792.0ms

Filtered

134 candidates to 342 candidates (-155.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	341	1	342
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	341	15	356

Merged error: 0.3b

Counts

356 → 15

localize40.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))) (/ 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)

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 332

Calls

4 calls:

27.0ms	(* (* (* (* (/ 1.0 (fabs x)) (/ 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)))
11.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
2.0ms	(sqrt PI)

series35.0ms

Counts

4 → 10

Calls

4 calls:

16.0ms	(* (* (* (* (/ 1.0 (fabs x)) (/ 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)

simplify64.0ms

Algorithm

egg-herbie

Counts

342 → 342

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1385	4137
1	5002	2461

prune894.0ms

Filtered

135 candidates to 342 candidates (-153.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	341	1	342
Fresh	0	13	13
Picked	1	0	1
Done	0	1	1
Total	342	15	357

Merged error: 0.3b

Counts

357 → 15

regimes235.0ms

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	50
1	47	50

end0.0ms

sample16.7s

Algorithm

intervals

Results

15.4s

74910×

body

valid

Details

sample751.0ms

simplify65.0ms

prune14.0ms

localize32.0ms

rewrite44.0ms

series35.0ms

simplify71.0ms

prune1.1s

localize38.0ms

rewrite61.0ms

series35.0ms

simplify48.0ms

prune923.0ms

localize34.0ms

rewrite79.0ms

series35.0ms

simplify136.0ms

prune792.0ms

localize40.0ms

rewrite79.0ms

series35.0ms

simplify64.0ms

prune894.0ms

regimes235.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample16.7s

Profiling