Details

sample25.0ms

Algorithm

intervals

Results

7.0ms

274×

body

valid

simplify49.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 (100.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: 1.7b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.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:

11.0ms	(/ (- x y) (- z y))
12.0ms	(* (/ (- x y) (- z y)) t)

series162.0ms

Counts

2 → 6

Calls

2 calls:

55.0ms	(/ (- x y) (- z y))
106.0ms	(* (/ (- x y) (- z y)) t)

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

prune342.0ms

Filtered

108 candidates to 72 candidates (33.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

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

Merged error: 0b

Counts

109 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

98×	`*-un-lft-identity`
80×	`add-sqr-sqrt`
66×	`times-frac`
32×	`distribute-lft-out--`
30×	`add-cube-cbrt`
20×	`difference-of-squares`
18×	`associate-l`
12×	`associate-/r/`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
8×	`flip3--` `flip--`
6×	`pow1` `distribute-rgt-out--` `div-inv` `associate-/l*` `add-log-exp`
4×	`associate-*l/`
3×	`associate-r`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `frac-sub` `sub-div`
1×	`sub-neg` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 140

Calls

4 calls:

5.0ms	(/ y (- z y))
8.0ms	(/ x (- z y))
24.0ms	(- (/ x (- z y)) (/ y (- z y)))
29.0ms	(* (- (/ x (- z y)) (/ y (- z y))) t)

series306.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/ y (- z y))
31.0ms	(/ x (- z y))
73.0ms	(- (/ x (- z y)) (/ y (- z y)))
147.0ms	(* (- (/ x (- z y)) (/ y (- z y))) t)

simplify100.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	376	922
1	1210	874
2	4299	872
3	5001	872

prune823.0ms

Filtered

152 candidates to 112 candidates (26.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	152	6	158

Merged error: 0b

Counts

158 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- z y))
0.2b	(* (- x y) (/ 1 (- z y)))
1.7b	(* (* (- x y) (/ 1 (- z y))) t)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
32×	`times-frac`
31×	`add-exp-log`
24×	`add-cube-cbrt` `associate-r`
19×	`add-cbrt-cube`
13×	`prod-exp`
11×	`pow1`
10×	`associate-*l/`
8×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-unprod`
6×	`flip3--` `div-exp` `associate-l` `flip--`
5×	`associate-/r*`
4×	`frac-times` `pow-prod-down` `associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `un-div-inv` `-commutative` `div-inv`
1×	`pow-flip` `frac-2neg` `clear-num` `inv-pow`

Counts

3 → 119

Calls

3 calls:

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

series201.0ms

Counts

3 → 9

Calls

3 calls:

40.0ms	(/ 1 (- z y))
55.0ms	(* (- x y) (/ 1 (- z y)))
106.0ms	(* (* (- x y) (/ 1 (- z y))) t)

simplify50.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	392	673
1	1893	556
2	5001	514

prune352.0ms

Filtered

128 candidates to 72 candidates (43.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	128	6	134

Merged error: 0b

Counts

134 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y))))
3.1b	(cbrt (/ (- x y) (- z y)))
3.1b	(cbrt (/ (- x y) (- z y)))
3.1b	(cbrt (/ (- x y) (- z y)))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

333×	`*-un-lft-identity`
277×	`cbrt-prod`
273×	`add-sqr-sqrt`
229×	`times-frac`
106×	`distribute-lft-out--`
93×	`add-cube-cbrt`
78×	`difference-of-squares`
58×	`swap-sqr`
34×	`associate-r` `associate-l`
14×	`associate-/r/`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `flip3--` `flip--` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 276

Calls

4 calls:

36.0ms	(* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y))))
6.0ms	(cbrt (/ (- x y) (- z y)))
6.0ms	(cbrt (/ (- x y) (- z y)))
7.0ms	(cbrt (/ (- x y) (- z y)))

series1.3s

Counts

4 → 12

Calls

4 calls:

286.0ms	(* (cbrt (/ (- x y) (- z y))) (cbrt (/ (- x y) (- z y))))
352.0ms	(cbrt (/ (- x y) (- z y)))
352.0ms	(cbrt (/ (- x y) (- z y)))
352.0ms	(cbrt (/ (- x y) (- z y)))

simplify77.0ms

Algorithm

egg-herbie

Counts

288 → 288

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	542	3638
1	1734	3570
2	5001	3366

prune1.9s

Filtered

288 candidates to 180 candidates (37.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	288	0	288
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	288	6	294

Merged error: 0b

Counts

294 → 6

regimes345.0ms

Accuracy

42.7% (1.3b remaining)

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

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	16
1	24	16

end0.0ms

sample624.0ms

Algorithm

intervals

Results

243.0ms

8735×

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

simplify49.0ms

prune4.0ms

localize6.0ms

rewrite27.0ms

series162.0ms

simplify98.0ms

prune342.0ms

localize10.0ms

rewrite72.0ms

series306.0ms

simplify100.0ms

prune823.0ms

localize8.0ms

rewrite36.0ms

series201.0ms

simplify50.0ms

prune352.0ms

localize10.0ms

rewrite75.0ms

series1.3s

simplify77.0ms

prune1.9s

regimes345.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

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