Details

sample605.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 32.421875%

Guaranteed chance to sample good point: 83.851156%

Results

8.0ms	256×	body	80	valid
0.0ms	8×	body	80	invalid

simplify270.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	15	7
1	25	6
2	37	4
3	47	4
4	56	4
5	89	4
6	158	4
7	208	4
8	221	4
9	316	4
10	646	4
11	3185	4
12	5003	4

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.2b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 3 (* z z))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 19

Calls

1 calls:

5.0ms

(* 3 (* z z))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(* 3 (* z z))

simplify184.0ms

Algorithm

egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	86	70
1	288	60
2	1042	57
3	4457	57
4	5002	57

prune37.0ms

Filtered

12 candidates to 22 candidates (-83.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	18	4	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	5	23

Merged error: 0.0b

Counts

23 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* 3 z) z)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 18

Calls

1 calls:

5.0ms

(* (* 3 z) z)

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(* (* 3 z) z)

simplify54.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 3 (52.0ms)

Iter	Nodes	Cost
0	95	68
1	465	57
2	2244	54
3	5001	53

prune27.0ms

Filtered

10 candidates to 21 candidates (-110.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	21	5	26

Merged error: 0.0b

Counts

26 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.3b	(* (* (sqrt 3) z) (* (sqrt 3) z))
0.3b	(* (sqrt 3) z)
0.3b	(* (sqrt 3) z)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

46×	`pow1`
19×	`add-exp-log` `pow-prod-down` `add-cbrt-cube`
17×	`add-sqr-sqrt`
13×	`associate-l`
10×	`prod-exp` `cbrt-unprod`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`sqrt-prod`
7×	`associate-r`
4×	`pow-sqr` `pow-prod-up` `unswap-sqr`
3×	`*-commutative` `add-log-exp`
2×	`pow-plus`
1×	`pow2` `swap-sqr`

Counts

3 → 78

Calls

3 calls:

8.0ms	(* (* (sqrt 3) z) (* (sqrt 3) z))
5.0ms	(* (sqrt 3) z)
5.0ms	(* (sqrt 3) z)

series15.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (* (sqrt 3) z) (* (sqrt 3) z))
4.0ms	(* (sqrt 3) z)
4.0ms	(* (sqrt 3) z)

simplify139.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	133	312
1	631	242
2	3572	242
3	5002	242

prune89.0ms

Filtered

42 candidates to 87 candidates (-107.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	2	0	2
Picked	0	1	1
Done	0	2	2
Total	88	4	92

Merged error: 0b

Counts

92 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
0.3b	(* (sqrt 3) z)
0.4b	(* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))
1.0b	(* (cbrt (sqrt 3)) (cbrt (sqrt 3)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

66×	`pow1`
61×	`add-exp-log`
45×	`add-sqr-sqrt`
42×	`pow-prod-down`
41×	`prod-exp` `add-cbrt-cube` `cbrt-unprod`
40×	`cbrt-prod`
24×	`sqrt-prod`
19×	`add-cube-cbrt` `*-un-lft-identity`
17×	`associate-l`
14×	`associate-r`
11×	`swap-sqr` `unswap-sqr`
6×	`pow1/3`
4×	`*-commutative` `add-log-exp`
2×	`pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 140

Calls

4 calls:

16.0ms	(* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
5.0ms	(* (sqrt 3) z)
11.0ms	(* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))
8.0ms	(* (cbrt (sqrt 3)) (cbrt (sqrt 3)))

series15.0ms

Counts

4 → 10

Calls

4 calls:

7.0ms	(* (* (sqrt 3) z) (* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z)))
4.0ms	(* (sqrt 3) z)
4.0ms	(* (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt (sqrt 3)) z))
0.0ms	(* (cbrt (sqrt 3)) (cbrt (sqrt 3)))

simplify80.0ms

Algorithm

egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	355	1442
1	1997	1050
2	5001	764

prune198.0ms

Filtered

65 candidates to 150 candidates (-130.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	150	4	154

Merged error: 0b

Counts

154 → 4

regimes240.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	4
1	12	4

end0.0ms

sample1.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 32.421875%

Guaranteed chance to sample good point: 83.851156%

Results

250.0ms	8000×	body	80	valid
7.0ms	251×	body	80	invalid

Details

sample605.0ms

simplify270.0ms

prune7.0ms

localize6.0ms

rewrite6.0ms

series3.0ms

simplify184.0ms

prune37.0ms

localize6.0ms

rewrite5.0ms

series3.0ms

simplify54.0ms

prune27.0ms

localize9.0ms

rewrite20.0ms

series15.0ms

simplify139.0ms

prune89.0ms

localize12.0ms

rewrite45.0ms

series15.0ms

simplify80.0ms

prune198.0ms

regimes240.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling