Details

sample431.0ms

Algorithm

intervals

Results

362.0ms

3646×

body

valid

simplify75.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

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

Counts

2 → 2

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

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

series71.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify82.0ms

Algorithm

egg-herbie

Counts

224 → 224

Iterations

Useful iterations: 2 (59.0ms)

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

prune1.1s

Filtered

224 candidates to 146 candidates (65.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	211	13	224
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	212	14	226

Merged error: 0.5b

Counts

226 → 14

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

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

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

series107.0ms

Counts

4 → 10

Calls

4 calls:

51.0ms	(* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
31.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
24.0ms	(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms	(sqrt PI)

simplify77.0ms

Algorithm

egg-herbie

Counts

338 → 338

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	1562	5058
1	5001	3459

prune1.1s

Filtered

338 candidates to 139 candidates (41.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	327	11	338
Fresh	9	4	13
Picked	1	0	1
Done	0	0	0
Total	337	15	352

Merged error: 0.2b

Counts

352 → 15

localize28.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (/ 1.0 (pow (fabs x) 6)) (/ 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)

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

131×	`add-sqr-sqrt`
120×	`times-frac`
82×	`add-cube-cbrt` `*-un-lft-identity`
52×	`add-exp-log`
51×	`associate-l`
40×	`add-cbrt-cube`
39×	`associate-r`
26×	`swap-sqr`
21×	`pow1`
18×	`div-exp`
16×	`prod-exp` `unswap-sqr`
12×	`cbrt-undiv` `cbrt-unprod`
11×	`unpow-prod-down`
10×	`div-inv`
5×	`sqr-pow`
4×	`add-log-exp`
3×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `sqrt-prod` `*-commutative`
2×	`pow2` `pow-to-exp` `pow-plus` `pow-exp` `pow-sqr` `pow-prod-up`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 217

Calls

4 calls:

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

series114.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify106.0ms

Algorithm

egg-herbie

Counts

227 → 227

Iterations

Useful iterations: 2 (89.0ms)

Iter	Nodes	Cost
0	684	1784
1	3652	1546
2	5001	1414

prune1.1s

Filtered

227 candidates to 155 candidates (68.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	221	6	227
Fresh	9	5	14
Picked	1	0	1
Done	0	0	0
Total	231	11	242

Merged error: 0.2b

Counts

242 → 11

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

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:

18.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)))
2.0ms	(sqrt PI)

series85.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify108.0ms

Algorithm

egg-herbie

Counts

259 → 259

Iterations

Useful iterations: 2 (82.0ms)

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

prune860.0ms

Filtered

259 candidates to 130 candidates (50.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	259	0	259
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	259	11	270

Merged error: 0.2b

Counts

270 → 11

regimes187.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.3b and baseline of 0.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	44
1	43	44

end0.0ms

sample11.7s

Algorithm

intervals

Results

10.3s

107057×

body

valid

Details

sample431.0ms

simplify75.0ms

prune15.0ms

localize28.0ms

rewrite47.0ms

series71.0ms

simplify82.0ms

prune1.1s

localize34.0ms

rewrite81.0ms

series107.0ms

simplify77.0ms

prune1.1s

localize28.0ms

rewrite50.0ms

series114.0ms

simplify106.0ms

prune1.1s

localize33.0ms

rewrite61.0ms

series85.0ms

simplify108.0ms

prune860.0ms

regimes187.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample11.7s

Profiling