Details

analyze3.0ms

Algorithm

sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.07323%

Guaranteed chance to sample good point: 99.993895%

sample11.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	4
1	11	4
2	14	4
3	14	4

prune2.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: 30.6b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

29.6b

(sqrt (+ (* x x) (* x x)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

6×	`sqrt-prod`
3×	`add-sqr-sqrt`
2×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
1×	`add-exp-log` `rem-sqrt-square` `distribute-rgt-out` `sqrt-pow1` `flip3-+` `pow1/2` `count-2` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

3.0ms

(sqrt (+ (* x x) (* x x)))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(sqrt (+ (* x x) (* x x)))

simplify197.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 3 (194.0ms)

Iter	Nodes	Cost
0	75	109
1	237	107
2	2195	97
3	5002	96

prune36.0ms

Filtered

16 candidates to 21 candidates (-31.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	18	3	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	4	22

Merged error: 0.2b

Counts

22 → 4

localize4.0ms

Local error

Found 1 expressions with local error:

0.5b	(* (sqrt 2) (fabs x))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`associate-l`
4×	`add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
3×	`pow1` `add-exp-log` `associate-r` `add-cbrt-cube`
2×	`unswap-sqr`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 22

Calls

1 calls:

4.0ms

(* (sqrt 2) (fabs x))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (sqrt 2) (fabs x))

simplify78.0ms

Algorithm

egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	65	115
1	224	107
2	526	107
3	884	107
4	2528	107
5	5001	107

prune40.0ms

Filtered

15 candidates to 25 candidates (-66.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	21	4	25
Fresh	2	0	2
Picked	0	1	1
Done	0	1	1
Total	23	6	29

Merged error: 0.0b

Counts

29 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (cbrt (sqrt 2)) (fabs x))
0.3b	(* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (* (cbrt (sqrt 2)) (fabs x)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log`
12×	`add-sqr-sqrt`
10×	`associate-l`
9×	`pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
8×	`cbrt-prod`
6×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r` `sqrt-prod`
3×	`unswap-sqr`
2×	`*-commutative` `add-log-exp`

Counts

2 → 48

Calls

2 calls:

5.0ms	(* (cbrt (sqrt 2)) (fabs x))
10.0ms	(* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (* (cbrt (sqrt 2)) (fabs x)))

series26.0ms

Counts

2 → 6

Calls

2 calls:

22.0ms	(* (cbrt (sqrt 2)) (fabs x))
4.0ms	(* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (* (cbrt (sqrt 2)) (fabs x)))

simplify132.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 3 (126.0ms)

Iter	Nodes	Cost
0	155	464
1	674	347
2	4101	308
3	5001	296

prune104.0ms

Filtered

33 candidates to 54 candidates (-63.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	52	8	60

Merged error: 0.0b

Counts

60 → 8

localize12.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (fabs x) (pow (sqrt 2) 2/3))
0.3b	(* (cbrt (sqrt 2)) (* (fabs x) (pow (sqrt 2) 2/3)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
16×	`add-sqr-sqrt`
12×	`associate-l`
11×	`associate-r`
10×	`prod-exp`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down`
7×	`sqrt-prod` `add-cbrt-cube`
6×	`cbrt-prod`
4×	`pow1` `cbrt-unprod` `unswap-sqr`
2×	`pow-to-exp` `pow-exp` `*-commutative` `add-log-exp` `sqr-pow`
1×	`pow-prod-down`

Counts

2 → 54

Calls

2 calls:

6.0ms	(* (fabs x) (pow (sqrt 2) 2/3))
10.0ms	(* (cbrt (sqrt 2)) (* (fabs x) (pow (sqrt 2) 2/3)))

series32.0ms

Counts

2 → 6

Calls

2 calls:

28.0ms	(* (fabs x) (pow (sqrt 2) 2/3))
4.0ms	(* (cbrt (sqrt 2)) (* (fabs x) (pow (sqrt 2) 2/3)))

simplify141.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 3 (136.0ms)

Iter	Nodes	Cost
0	191	430
1	756	369
2	4155	352
3	5002	313

prune92.0ms

Filtered

39 candidates to 60 candidates (-53.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	3	1	4
Picked	0	1	1
Done	1	2	3
Total	63	5	68

Merged error: 0b

Counts

68 → 5

regimes138.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	16
1	15	16

end0.0ms

analyze5.0ms

Algorithm

sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.07323%

Guaranteed chance to sample good point: 99.993895%

sample256.0ms

Algorithm

intervals

Results

172.0ms

8000×

body

valid

Details

analyze3.0ms

sample11.0ms

simplify5.0ms

prune2.0ms

localize4.0ms

rewrite4.0ms

series4.0ms

simplify197.0ms

prune36.0ms

localize4.0ms

rewrite5.0ms

series4.0ms

simplify78.0ms

prune40.0ms

localize7.0ms

rewrite17.0ms

series26.0ms

simplify132.0ms

prune104.0ms

localize12.0ms

rewrite17.0ms

series32.0ms

simplify141.0ms

prune92.0ms

regimes138.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze5.0ms

sample256.0ms

Profiling