Details

analyze513.0ms

Algorithm: search

sample18.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
1.0ms	22×	body	80	invalid

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

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.0b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

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

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

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

series31.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(/ (- x y) (- z y))
22.0ms	(* (/ (- x y) (- z y)) t)

simplify96.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (27.0ms)

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

prune110.0ms

Filtered

72 candidates to 108 candidates (-50.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	101	7	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	101	8	109

Merged error: 0.0b

Counts

109 → 8

localize6.0ms

Local error

Found 1 expressions with local error:

9.2b	(* (- x y) (/ t (- z y)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
21×	`associate-r`
19×	`*-un-lft-identity`
16×	`times-frac`
11×	`add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-l`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`pow1` `flip3--` `flip--`
2×	`frac-times` `associate-*l/` `prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 46

Calls

1 calls:

14.0ms

(* (- x y) (/ t (- z y)))

series16.0ms

Counts

1 → 3

Calls

1 calls:

16.0ms

(* (- x y) (/ t (- z y)))

simplify35.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	263	286
1	1222	259
2	5001	259

prune60.0ms

Filtered

34 candidates to 49 candidates (-44.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	49	8	57

Merged error: 0.0b

Counts

57 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

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

series22.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (- x y) t)
15.0ms	(/ (* (- x y) t) (- z y))

simplify35.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	256	263
1	1188	226
2	5001	226

prune55.0ms

Filtered

39 candidates to 57 candidates (-46.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	56	1	57
Fresh	3	2	5
Picked	0	1	1
Done	0	2	2
Total	59	6	65

Merged error: 0b

Counts

65 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- z y) t)
9.8b	(/ (- x y) (/ (- z y) t))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

200×	`times-frac`
170×	`add-sqr-sqrt` `*-un-lft-identity`
86×	`add-cube-cbrt`
42×	`distribute-lft-out--` `difference-of-squares`
22×	`associate-/r*`
10×	`associate-/l*`
9×	`add-exp-log` `add-cbrt-cube`
8×	`div-inv`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
2×	`pow1` `flip3--` `frac-2neg` `div-sub` `clear-num` `flip--` `add-log-exp`
1×	`associate-/r/`

Counts

2 → 175

Calls

2 calls:

5.0ms	(/ (- z y) t)
11.0ms	(/ (- x y) (/ (- z y) t))

series28.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ (- z y) t)
22.0ms	(/ (- x y) (/ (- z y) t))

simplify70.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	702	1608
1	2759	1557
2	5002	1556

prune104.0ms

Filtered

118 candidates to 181 candidates (-53.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	181	6	187

Merged error: 0b

Counts

187 → 6

regimes418.0ms

Accuracy

28.5% (1.6b remaining)

Error of 1.6b against oracle of 0.0b and baseline of 2.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	14
1	21	14

end0.0ms

analyze496.0ms

Algorithm: search

sample450.0ms

Algorithm

intervals

Results

236.0ms	8000×	body	80	valid
16.0ms	567×	body	80	invalid

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

analyze513.0ms

sample18.0ms

simplify52.0ms

prune4.0ms

localize10.0ms

rewrite23.0ms

series31.0ms

simplify96.0ms

prune110.0ms

localize6.0ms

rewrite16.0ms

series16.0ms

simplify35.0ms

prune60.0ms

localize6.0ms

rewrite16.0ms

series22.0ms

simplify35.0ms

prune55.0ms

localize8.0ms

rewrite26.0ms

series28.0ms

simplify70.0ms

prune104.0ms

regimes418.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze496.0ms

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