Details

sample18.0ms

Algorithm

intervals

Results

8.0ms

276×

body

valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	4
1	25	4
2	49	4
3	72	4
4	105	4
5	122	4
6	139	4
7	149	4
8	156	4
9	160	4
10	164	4
11	259	4
12	297	4
13	319	4
14	405	4
15	474	4
16	532	4
17	626	4
18	702	4
19	711	4
20	711	4

prune2.0ms

Filtered

1 candidates to 0 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: 2.2b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) (- z y))
2.2b	(* (/ (- x y) (- z y)) t)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-l`
26×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
5×	`associate-/r` `associate-/l`
4×	`pow1` `associate-/r/`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `-commutative`

Counts

2 → 102

Calls

2 calls:

8.0ms	(/ (- x y) (- z y))
16.0ms	(* (/ (- x y) (- z y)) t)

series142.0ms

Counts

2 → 6

Calls

2 calls:

46.0ms	(/ (- x y) (- z y))
96.0ms	(* (/ (- x y) (- z y)) t)

simplify102.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	360	653
1	1125	612
2	4514	611
3	5001	611

prune205.0ms

Filtered

108 candidates to 72 candidates (66.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	102	6	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	102	7	109

Merged error: 0.0b

Counts

109 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ t (- z y))
10.1b	(* (- x y) (/ t (- z y)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
31×	`times-frac`
22×	`add-cube-cbrt`
21×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-l` `associate-/r*`
4×	`pow1` `flip3--` `associate-/r/` `flip--`
3×	`associate-/l*`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

2 → 83

Calls

2 calls:

5.0ms	(/ t (- z y))
13.0ms	(* (- x y) (/ t (- z y)))

series94.0ms

Counts

2 → 6

Calls

2 calls:

28.0ms	(/ t (- z y))
66.0ms	(* (- x y) (/ t (- z y)))

simplify40.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	293	474
1	1347	437
2	5001	437

prune175.0ms

Filtered

89 candidates to 63 candidates (70.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	88	1	89
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	90	6	96

Merged error: 0.0b

Counts

96 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z y))
0.5b	(cbrt (- z y))
0.5b	(* (cbrt (- z y)) (cbrt (- z y)))
8.6b	(* (/ 1 (* (cbrt (- z y)) (cbrt (- z y)))) (* (/ (- x y) (cbrt (- z y))) t))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

84×	`add-exp-log`
45×	`prod-exp`
38×	`cbrt-prod`
36×	`add-sqr-sqrt`
34×	`*-un-lft-identity`
31×	`add-cbrt-cube`
28×	`cbrt-div`
23×	`associate-l`
19×	`div-exp` `cbrt-unprod`
16×	`pow1` `add-cube-cbrt`
14×	`flip3--` `flip--`
10×	`swap-sqr`
9×	`cbrt-undiv` `frac-times` `associate-r`
8×	`pow1/3` `associate-/r/` `distribute-lft-out--`
7×	`associate-*l/`
6×	`rec-exp` `1-exp` `difference-of-squares`
5×	`associate-*r/` `pow-prod-down`
4×	`add-log-exp` `unswap-sqr`
3×	`times-frac`
2×	`pow-sqr` `*-commutative` `pow-prod-up`
1×	`pow2` `pow-plus` `div-inv`

Counts

4 → 145

Calls

4 calls:

3.0ms	(cbrt (- z y))
3.0ms	(cbrt (- z y))
11.0ms	(* (cbrt (- z y)) (cbrt (- z y)))
26.0ms	(* (/ 1 (* (cbrt (- z y)) (cbrt (- z y)))) (* (/ (- x y) (cbrt (- z y))) t))

series579.0ms

Counts

4 → 12

Calls

4 calls:

150.0ms	(cbrt (- z y))
143.0ms	(cbrt (- z y))
128.0ms	(* (cbrt (- z y)) (cbrt (- z y)))
158.0ms	(* (/ 1 (* (cbrt (- z y)) (cbrt (- z y)))) (* (/ (- x y) (cbrt (- z y))) t))

simplify84.0ms

Algorithm

egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	613	1537
1	2896	1268
2	5001	1097

prune354.0ms

Filtered

157 candidates to 95 candidates (60.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	156	1	157
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	156	7	163

Merged error: 0b

Counts

163 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z y))
0.5b	(* (cbrt (- z y)) (cbrt (- z y)))
0.6b	(cbrt (* (cbrt (- z y)) (cbrt (- z y))))
8.6b	(* (/ 1 (* (* (cbrt (- z y)) (cbrt (* (cbrt (- z y)) (cbrt (- z y))))) (cbrt (cbrt (- z y))))) (* (/ (- x y) (cbrt (- z y))) t))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

376×	`cbrt-div`
145×	`frac-times`
132×	`add-exp-log`
121×	`flip3--` `flip--`
95×	`associate-l`
80×	`associate-/r/`
78×	`prod-exp`
57×	`associate-*l/`
49×	`associate-*r/`
42×	`add-cbrt-cube`
34×	`cbrt-prod`
33×	`add-sqr-sqrt`
31×	`*-un-lft-identity`
30×	`cbrt-unprod`
28×	`div-exp`
16×	`pow1`
15×	`add-cube-cbrt`
13×	`cbrt-undiv`
10×	`swap-sqr`
9×	`rec-exp` `1-exp` `associate-r`
8×	`pow1/3`
7×	`distribute-lft-out--`
5×	`pow-prod-down` `difference-of-squares`
4×	`add-log-exp` `unswap-sqr`
3×	`times-frac`
2×	`pow-sqr` `*-commutative` `pow-prod-up`
1×	`pow2` `pow-plus` `div-inv`

Counts

4 → 231

Calls

4 calls:

3.0ms	(cbrt (- z y))
11.0ms	(* (cbrt (- z y)) (cbrt (- z y)))
9.0ms	(cbrt (* (cbrt (- z y)) (cbrt (- z y))))
51.0ms	(* (/ 1 (* (* (cbrt (- z y)) (cbrt (* (cbrt (- z y)) (cbrt (- z y))))) (cbrt (cbrt (- z y))))) (* (/ (- x y) (cbrt (- z y))) t))

series554.0ms

Counts

4 → 12

Calls

4 calls:

150.0ms	(cbrt (- z y))
122.0ms	(* (cbrt (- z y)) (cbrt (- z y)))
129.0ms	(cbrt (* (cbrt (- z y)) (cbrt (- z y))))
153.0ms	(* (/ 1 (* (* (cbrt (- z y)) (cbrt (* (cbrt (- z y)) (cbrt (- z y))))) (cbrt (cbrt (- z y))))) (* (/ (- x y) (cbrt (- z y))) t))

simplify59.0ms

Algorithm

egg-herbie

Counts

243 → 243

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1169	4007
1	5001	3574

prune990.0ms

Filtered

243 candidates to 177 candidates (72.8%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	243	0	243
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	243	7	250

Merged error: 0b

Counts

250 → 7

regimes269.0ms

Accuracy

33.4% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 2.2b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	15
1	26	15

end0.0ms

sample492.0ms

Algorithm

intervals

Results

265.0ms

8728×

body

valid

Iter	Nodes	Cost
0	17	4
1	25	4
2	49	4
3	72	4
4	105	4
5	122	4
6	139	4
7	149	4
8	156	4
9	160	4
10	164	4
11	259	4
12	297	4
13	319	4
14	405	4
15	474	4
16	532	4
17	626	4
18	702	4
19	711	4
20	711	4

Iter	Nodes	Cost
0	17	4
1	25	4
2	49	4
3	72	4
4	105	4
5	122	4
6	139	4
7	149	4
8	156	4
9	160	4
10	164	4
11	259	4
12	297	4
13	319	4
14	405	4
15	474	4
16	532	4
17	626	4
18	702	4
19	711	4
20	711	4

Details

sample18.0ms

simplify54.0ms

prune2.0ms

localize6.0ms

rewrite29.0ms

series142.0ms

simplify102.0ms

prune205.0ms

localize7.0ms

rewrite22.0ms

series94.0ms

simplify40.0ms

prune175.0ms

localize11.0ms

rewrite53.0ms

series579.0ms

simplify84.0ms

prune354.0ms

localize17.0ms

rewrite102.0ms

series554.0ms

simplify59.0ms

prune990.0ms

regimes269.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample492.0ms

Profiling

Iter	Nodes	Cost
0	17	4
1	25	4
2	49	4
3	72	4
4	105	4
5	122	4
6	139	4
7	149	4
8	156	4
9	160	4
10	164	4
11	259	4
12	297	4
13	319	4
14	405	4
15	474	4
16	532	4
17	626	4
18	702	4
19	711	4
20	711	4