Details

sample25.0ms

Algorithm

intervals

Results

8.0ms

285×

body

valid

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

prune4.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: 3.5b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) (- z y))
3.4b	(* (/ (- 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)

series140.0ms

Counts

2 → 6

Calls

2 calls:

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

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

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

localize10.0ms

Local error

Found 4 expressions with local error:

0.7b	(* (* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y)))) (* (cbrt (/ (- x y) (- z y))) t))
4.2b	(cbrt (/ (- x y) (- z y)))
4.2b	(cbrt (/ (- x y) (- z y)))
4.2b	(cbrt (/ (- x y) (- z y)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-sqr-sqrt` `*-un-lft-identity`
93×	`cbrt-prod`
75×	`times-frac`
37×	`add-cube-cbrt`
30×	`distribute-lft-out--` `difference-of-squares`
16×	`pow1` `add-exp-log`
15×	`cbrt-div`
10×	`add-cbrt-cube`
9×	`associate-*l/`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-/r/`
5×	`frac-times`
4×	`add-log-exp`
3×	`flip3--` `pow1/3` `associate-*r/` `flip--` `div-inv`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 149

Calls

4 calls:

29.0ms	(* (* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y)))) (* (cbrt (/ (- x y) (- z y))) t))
7.0ms	(cbrt (/ (- x y) (- z y)))
7.0ms	(cbrt (/ (- x y) (- z y)))
7.0ms	(cbrt (/ (- x y) (- z y)))

series998.0ms

Counts

4 → 12

Calls

4 calls:

98.0ms	(* (* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y)))) (* (cbrt (/ (- x y) (- z y))) t))
292.0ms	(cbrt (/ (- x y) (- z y)))
289.0ms	(cbrt (/ (- x y) (- z y)))
320.0ms	(cbrt (/ (- x y) (- z y)))

simplify114.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 3 (97.0ms)

Iter	Nodes	Cost
0	445	1843
1	1226	1647
2	4946	1576
3	5001	1566

prune648.0ms

Filtered

161 candidates to 110 candidates (68.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	161	7	168

Merged error: 0b

Counts

168 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ 1 (- z y)))
0.7b	(* (* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y)))) (* (* (cbrt (- x y)) (cbrt (/ 1 (- z y)))) t))
4.2b	(cbrt (/ (- x y) (- z y)))
4.2b	(cbrt (/ (- x y) (- z y)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

83×	`cbrt-prod`
81×	`add-sqr-sqrt` `*-un-lft-identity`
65×	`times-frac`
55×	`cbrt-div`
37×	`associate-*l/`
35×	`add-cube-cbrt`
29×	`frac-times`
25×	`pow1` `add-exp-log`
23×	`distribute-lft-out--` `difference-of-squares`
15×	`associate-*r/` `pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
11×	`flip3--` `flip--`
6×	`associate-/r/`
4×	`add-log-exp`
3×	`pow1/3` `div-inv`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 161

Calls

4 calls:

5.0ms	(cbrt (/ 1 (- z y)))
33.0ms	(* (* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y)))) (* (* (cbrt (- x y)) (cbrt (/ 1 (- z y)))) t))
7.0ms	(cbrt (/ (- x y) (- z y)))
7.0ms	(cbrt (/ (- x y) (- z y)))

series833.0ms

Counts

4 → 12

Calls

4 calls:

144.0ms	(cbrt (/ 1 (- z y)))
94.0ms	(* (* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y)))) (* (* (cbrt (- x y)) (cbrt (/ 1 (- z y)))) t))
293.0ms	(cbrt (/ (- x y) (- z y)))
302.0ms	(cbrt (/ (- x y) (- z y)))

simplify73.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	795	2251
1	2448	2051
2	5001	2008

prune789.0ms

Filtered

173 candidates to 116 candidates (67.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	173	7	180

Merged error: 0b

Counts

180 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

3.4b	(* (/ (- x y) (- z y)) t)
4.3b	(cbrt (* (/ (- x y) (- z y)) t))
4.3b	(cbrt (* (/ (- x y) (- z y)) t))
4.3b	(cbrt (* (/ (- x y) (- z y)) t))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
31×	`associate-l`
26×	`times-frac`
16×	`add-cube-cbrt`
10×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
4×	`associate-*l/` `add-log-exp`
3×	`cbrt-prod` `cbrt-div` `pow1/3` `associate-r`
2×	`prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `flip3--` `div-exp` `pow-prod-down` `*-commutative` `flip--` `div-inv`

Counts

4 → 80

Calls

4 calls:

12.0ms	(* (/ (- x y) (- z y)) t)
8.0ms	(cbrt (* (/ (- x y) (- z y)) t))
8.0ms	(cbrt (* (/ (- x y) (- z y)) t))
8.0ms	(cbrt (* (/ (- x y) (- z y)) t))

series950.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(* (/ (- x y) (- z y)) t)
287.0ms	(cbrt (* (/ (- x y) (- z y)) t))
281.0ms	(cbrt (* (/ (- x y) (- z y)) t))
285.0ms	(cbrt (* (/ (- x y) (- z y)) t))

simplify37.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	377	695
1	1115	635
2	5001	629

prune398.0ms

Filtered

92 candidates to 71 candidates (77.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	92	7	99

Merged error: 0b

Counts

99 → 7

regimes596.0ms

Accuracy

55.5% (1.0b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 2.4b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	24	28
1	27	20
2	30	20
3	30	20

end0.0ms

sample620.0ms

Algorithm

intervals

Results

240.0ms

8727×

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

sample25.0ms

simplify48.0ms

prune4.0ms

localize6.0ms

rewrite29.0ms

series140.0ms

simplify103.0ms

prune367.0ms

localize10.0ms

rewrite55.0ms

series998.0ms

simplify114.0ms

prune648.0ms

localize16.0ms

rewrite63.0ms

series833.0ms

simplify73.0ms

prune789.0ms

localize11.0ms

rewrite39.0ms

series950.0ms

simplify37.0ms

prune398.0ms

regimes596.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

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