Details

analyze12.0ms

Algorithm

sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.07323%

Guaranteed chance to sample good point: 99.993895%

sample18.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify620.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	19	3
2	46	3
3	131	3
4	435	3
5	1924	3
6	5001	3

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

localize8.0ms

Local error

Found 1 expressions with local error:

29.6b

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

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 10

Calls

1 calls:

5.0ms

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

series90.0ms

Counts

1 → 3

Calls

1 calls:

90.0ms

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

simplify43.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	93	68
1	192	66
2	465	62
3	1404	62
4	5001	62

prune50.0ms

Filtered

12 candidates to 13 candidates (-8.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	8	5	13
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	6	14

Merged error: 16.5b

Counts

14 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.5b	(* (sqrt 2.0) (sqrt (pow x 2.0)))
29.5b	(sqrt (pow x 2.0))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

27×	`sqrt-prod`
25×	`add-sqr-sqrt`
10×	`associate-r`
9×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
8×	`unswap-sqr`
6×	`associate-l`
5×	`sqr-pow`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`rem-sqrt-square` `pow1/2`
2×	`pow-prod-down` `add-log-exp`
1×	`sqrt-pow1` `sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

2 → 56

Calls

2 calls:

8.0ms	(* (sqrt 2.0) (sqrt (pow x 2.0)))
2.0ms	(sqrt (pow x 2.0))

series118.0ms

Counts

2 → 6

Calls

2 calls:

60.0ms	(* (sqrt 2.0) (sqrt (pow x 2.0)))
58.0ms	(sqrt (pow x 2.0))

simplify52.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 3 (47.0ms)

Iter	Nodes	Cost
0	206	354
1	644	343
2	2032	335
3	5001	328

prune110.0ms

Filtered

42 candidates to 62 candidates (-47.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	57	5	62
Fresh	4	0	4
Picked	1	0	1
Done	0	1	1
Total	62	6	68

Merged error: 0.1b

Counts

68 → 6

localize7.0ms

Local error

Found 1 expressions with local error:

0.5b	(* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))

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 (pow x (/ 2.0 2))))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(* (sqrt 2.0) (fabs (pow x (/ 2.0 2))))

simplify110.0ms

Algorithm

egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	79	174
1	260	158
2	627	158
3	1256	158
4	3938	158
5	5002	158

prune61.0ms

Filtered

16 candidates to 25 candidates (-56.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	21	4	25
Fresh	4	0	4
Picked	0	1	1
Done	0	1	1
Total	25	6	31

Merged error: 0.0b

Counts

31 → 6

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.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 (pow x (/ 2.0 2))))
10.0ms	(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2)))))

series28.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(* (cbrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2))))
5.0ms	(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (fabs (pow x (/ 2.0 2)))))

simplify130.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 3 (125.0ms)

Iter	Nodes	Cost
0	167	598
1	701	457
2	4165	414
3	5002	402

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

regimes211.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	12
1	13	12

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%

sample397.0ms

Algorithm

intervals

Results

300.0ms

8000×

body

valid

Details

analyze12.0ms

sample18.0ms

simplify620.0ms

prune4.0ms

localize8.0ms

rewrite6.0ms

series90.0ms

simplify43.0ms

prune50.0ms

localize6.0ms

rewrite12.0ms

series118.0ms

simplify52.0ms

prune110.0ms

localize7.0ms

rewrite5.0ms

series6.0ms

simplify110.0ms

prune61.0ms

localize10.0ms

rewrite16.0ms

series28.0ms

simplify130.0ms

prune111.0ms

regimes211.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze5.0ms

sample397.0ms

Profiling