Details

analyze4.0ms

Algorithm

sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.07323%

Guaranteed chance to sample good point: 99.993895%

sample15.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

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

localize5.0ms

Local error

Found 1 expressions with local error:

29.6b

(sqrt (* 2.0 (* x x)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1`
3×	`sqrt-pow1` `pow-prod-down`
1×	`add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `pow1/2` `sqrt-prod` `add-cbrt-cube` `add-log-exp`

Counts

1 → 12

Calls

1 calls:

6.0ms

(sqrt (* 2.0 (* x x)))

series11.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(sqrt (* 2.0 (* x x)))

simplify100.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	32	44
1	61	42
2	86	42
3	100	42
4	119	42
5	173	42
6	600	42
7	1831	42
8	5001	42

prune30.0ms

Filtered

11 candidates to 15 candidates (-36.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	12	3	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	4	16

Merged error: 0.3b

Counts

16 → 4

localize4.0ms

Local error

Found 1 expressions with local error:

0.5b	(* (sqrt 2.0) (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.0) (fabs x))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* (sqrt 2.0) (fabs x))

simplify60.0ms

Algorithm

egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	65	115
1	225	107
2	522	107
3	810	107
4	1934	107
5	5002	107

prune39.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.0)) (fabs x))
0.3b	(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))

rewrite18.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.0)) (fabs x))
10.0ms	(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))

series29.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(* (cbrt (sqrt 2.0)) (fabs x))
4.0ms	(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs x)))

simplify128.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 3 (123.0ms)

Iter	Nodes	Cost
0	156	464
1	671	347
2	4050	308
3	5001	296

prune104.0ms

Filtered

32 candidates to 54 candidates (-68.8%)

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.0) 2/3))
0.3b	(* (cbrt (sqrt 2.0)) (* (fabs x) (pow (sqrt 2.0) 2/3)))

rewrite15.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.0) 2/3))
8.0ms	(* (cbrt (sqrt 2.0)) (* (fabs x) (pow (sqrt 2.0) 2/3)))

series33.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify131.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 3 (125.0ms)

Iter	Nodes	Cost
0	192	430
1	750	369
2	4104	352
3	5002	339

prune94.0ms

Filtered

38 candidates to 60 candidates (-57.9%)

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

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

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%

sample277.0ms

Algorithm

intervals

Results

189.0ms

8000×

body

valid

Details

analyze4.0ms

sample15.0ms

simplify5.0ms

prune2.0ms

localize5.0ms

rewrite7.0ms

series11.0ms

simplify100.0ms

prune30.0ms

localize4.0ms

rewrite5.0ms

series5.0ms

simplify60.0ms

prune39.0ms

localize7.0ms

rewrite18.0ms

series29.0ms

simplify128.0ms

prune104.0ms

localize12.0ms

rewrite15.0ms

series33.0ms

simplify131.0ms

prune94.0ms

regimes145.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze3.0ms

sample277.0ms

Profiling