Details

sample23.0ms

Algorithm

intervals

Results

10.0ms

385×

body

valid

simplify351.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (5.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	314	4
10	642	4
11	3182	4
12	5003	4

prune6.0ms

Filtered

1 candidates to 1 candidates (0.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: 0.1b

Counts

2 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 3 (* z z))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 37

Calls

1 calls:

9.0ms

(* 3 (* z z))

series32.0ms

Counts

1 → 3

Calls

1 calls:

32.0ms

(* 3 (* z z))

simplify117.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 3 (113.0ms)

Iter	Nodes	Cost
0	149	122
1	657	109
2	3299	104
3	5002	102

prune51.0ms

Filtered

40 candidates to 21 candidates (47.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	36	4	40
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	37	5	42

Merged error: 0b

Counts

42 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* z 3) z)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 31

Calls

1 calls:

8.0ms

(* (* z 3) z)

series30.0ms

Counts

1 → 3

Calls

1 calls:

30.0ms

(* (* z 3) z)

simplify77.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 3 (73.0ms)

Iter	Nodes	Cost
0	125	112
1	503	101
2	2505	95
3	5001	93

prune44.0ms

Filtered

34 candidates to 19 candidates (44.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	34	5	39

Merged error: 0b

Counts

39 → 5

localize14.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
0.2b	(* (cbrt 3) (* z z))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

410×	`add-sqr-sqrt`
281×	`unswap-sqr`
143×	`cbrt-prod`
81×	`cbrt-unprod`
80×	`add-cbrt-cube`
78×	`associate-r`
56×	`swap-sqr`
51×	`associate-l`
39×	`*-commutative`
28×	`pow1` `add-exp-log`
26×	`add-cube-cbrt` `*-un-lft-identity`
18×	`pow-prod-down` `prod-exp`
2×	`add-log-exp`

Counts

2 → 254

Calls

2 calls:

36.0ms	(* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
11.0ms	(* (cbrt 3) (* z z))

series150.0ms

Counts

2 → 6

Calls

2 calls:

100.0ms	(* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* z z)))
50.0ms	(* (cbrt 3) (* z z))

simplify145.0ms

Algorithm

egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 2 (116.0ms)

Iter	Nodes	Cost
0	743	2687
1	3170	2174
2	5001	2001

prune252.0ms

Filtered

260 candidates to 97 candidates (62.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	260	0	260
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	260	5	265

Merged error: 0b

Counts

265 → 5

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b	(* z (* (cbrt 3) (cbrt 3)))
0.3b	(* (* z (* (cbrt 3) (cbrt 3))) (* (cbrt 3) z))
0.3b	(* (cbrt 3) z)

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

218×	`add-sqr-sqrt`
127×	`unswap-sqr`
88×	`associate-r`
80×	`cbrt-prod`
74×	`associate-l`
73×	`add-cbrt-cube`
68×	`cbrt-unprod`
31×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity`
22×	`swap-sqr`
19×	`pow-prod-down` `prod-exp`
12×	`*-commutative`
3×	`add-log-exp`

Counts

3 → 207

Calls

3 calls:

15.0ms	(* z (* (cbrt 3) (cbrt 3)))
36.0ms	(* (* z (* (cbrt 3) (cbrt 3))) (* (cbrt 3) z))
4.0ms	(* (cbrt 3) z)

series232.0ms

Counts

3 → 9

Calls

3 calls:

80.0ms	(* z (* (cbrt 3) (cbrt 3)))
101.0ms	(* (* z (* (cbrt 3) (cbrt 3))) (* (cbrt 3) z))
51.0ms	(* (cbrt 3) z)

simplify143.0ms

Algorithm

egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 2 (126.0ms)

Iter	Nodes	Cost
0	698	1808
1	3764	1522
2	5001	1338

prune313.0ms

Filtered

216 candidates to 121 candidates (44.0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	1	0	1
Picked	0	1	1
Done	0	3	3
Total	216	5	221

Merged error: 0b

Counts

221 → 5

regimes108.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	11	4
1	11	4

end0.0ms

sample577.0ms

Algorithm

intervals

Results

324.0ms

12203×

body

valid