Details

analyze634.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
12.5%	85.8%	1.7%	9
16.4%	79.2%	4.4%	10
20.7%	72.4%	7%	11
32.6%	53.3%	14.1%	12
36%	45.5%	18.5%	13
38.3%	41.1%	20.6%	14

sample25.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
4.0ms	93×	body	80	invalid

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5383	13

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

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z x) y)
0.0b	(- y (* (+ x z) (/ (- z x) y)))
0.2b	(* (+ x z) (/ (- z x) y))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
19×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-/l*` `add-log-exp`
4×	`associate-l`
3×	`associate-/r*`
2×	`cbrt-undiv` `frac-times` `flip3--` `flip3-+` `div-exp` `associate-*l/` `prod-exp` `flip--` `cbrt-unprod` `flip-+` `div-inv` `associate-/l/` `unswap-sqr`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `distribute-lft-out`

Counts

3 → 92

Calls

3 calls:

5.0ms	(/ (- z x) y)
2.0ms	(- y (* (+ x z) (/ (- z x) y)))
14.0ms	(* (+ x z) (/ (- z x) y))

series28.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ (- z x) y)
11.0ms	(- y (* (+ x z) (/ (- z x) y)))
11.0ms	(* (+ x z) (/ (- z x) y))

simplify60.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4979	1101
1	4979	1101

prune113.0ms

Filtered

72 candidates to 101 candidates (-40.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	95	8	103

Merged error: 0b

Counts

103 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- y (* (+ x z) (/ 1 (/ y (- z x)))))
0.0b	(/ y (- z x))
0.2b	(* (+ x z) (/ 1 (/ y (- z x))))
0.5b	(/ 1 (/ y (- z x)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

252×	`times-frac`
186×	`add-sqr-sqrt`
176×	`*-un-lft-identity`
122×	`add-cube-cbrt`
68×	`associate-r`
36×	`add-exp-log`
26×	`associate-/r*`
25×	`distribute-lft-out--` `difference-of-squares`
20×	`add-cbrt-cube`
18×	`associate-/r/`
15×	`div-exp`
10×	`div-inv`
9×	`flip3--` `flip--`
7×	`pow1` `cbrt-undiv` `prod-exp`
6×	`associate-/l*` `add-log-exp`
5×	`unswap-sqr`
4×	`rec-exp` `1-exp` `associate-l`
3×	`cbrt-unprod`
2×	`frac-times` `frac-2neg` `flip3-+` `associate-*l/` `clear-num` `flip-+`
1×	`sub-neg` `pow-flip` `diff-log` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `distribute-lft-out` `inv-pow`

Counts

4 → 258

Calls

4 calls:

2.0ms	(- y (* (+ x z) (/ 1 (/ y (- z x)))))
5.0ms	(/ y (- z x))
24.0ms	(* (+ x z) (/ 1 (/ y (- z x))))
11.0ms	(/ 1 (/ y (- z x)))

series39.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(- y (* (+ x z) (/ 1 (/ y (- z x)))))
6.0ms	(/ y (- z x))
10.0ms	(* (+ x z) (/ 1 (/ y (- z x))))
7.0ms	(/ 1 (/ y (- z x)))

simplify67.0ms

Algorithm

egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5123	3142

prune238.0ms

Filtered

177 candidates to 270 candidates (-52.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	268	2	270
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	272	6	278

Merged error: 0b

Counts

278 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(- y (/ (+ x z) (/ y (- z x))))
0.0b	(/ y (- z x))
0.2b	(/ (+ x z) (/ y (- z x)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

177×	`times-frac`
164×	`*-un-lft-identity`
127×	`add-sqr-sqrt`
80×	`add-cube-cbrt`
26×	`associate-/r*`
22×	`distribute-lft-out` `difference-of-squares`
20×	`distribute-lft-out--`
13×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
7×	`flip3--` `flip--` `div-inv` `associate-/l*`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

3 → 178

Calls

3 calls:

26.0ms	(- y (/ (+ x z) (/ y (- z x))))
5.0ms	(/ y (- z x))
13.0ms	(/ (+ x z) (/ y (- z x)))

series31.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(- y (/ (+ x z) (/ y (- z x))))
7.0ms	(/ y (- z x))
10.0ms	(/ (+ x z) (/ y (- z x)))

simplify54.0ms

Algorithm

egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	6050	2884

prune137.0ms

Filtered

124 candidates to 187 candidates (-50.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	186	1	187
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	188	5	193

Merged error: 0b

Counts

193 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- y (/ (/ (+ x z) y) (/ 1 (- z x))))
0.0b	(/ (+ x z) y)
0.0b	(/ 1 (- z x))
0.3b	(/ (/ (+ x z) y) (/ 1 (- z x)))

rewrite151.0ms

Algorithm

rewrite-expression-head

Rules

895×	`times-frac`
606×	`*-un-lft-identity`
487×	`add-sqr-sqrt`
352×	`add-cube-cbrt`
70×	`distribute-lft-out`
62×	`difference-of-squares`
56×	`distribute-lft-out--`
42×	`div-inv`
37×	`associate-/r/`
32×	`add-exp-log`
29×	`associate-/r*`
23×	`associate-/l*`
20×	`add-cbrt-cube`
19×	`flip3--` `div-exp` `flip--`
10×	`cbrt-undiv`
6×	`add-log-exp`
5×	`pow1`
3×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/`
1×	`sub-neg` `pow-flip` `flip3-+` `diff-log` `flip-+` `inv-pow`

Counts

4 → 490

Calls

4 calls:

80.0ms	(- y (/ (/ (+ x z) y) (/ 1 (- z x))))
5.0ms	(/ (+ x z) y)
5.0ms	(/ 1 (- z x))
20.0ms	(/ (/ (+ x z) y) (/ 1 (- z x)))

series30.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- y (/ (/ (+ x z) y) (/ 1 (- z x))))
5.0ms	(/ (+ x z) y)
4.0ms	(/ 1 (- z x))
10.0ms	(/ (/ (+ x z) y) (/ 1 (- z x)))

simplify129.0ms

Algorithm

egg-herbie

Counts

502 → 502

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4973	9732
1	4973	9732

prune333.0ms

Filtered

245 candidates to 502 candidates (-104.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	502	0	502
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	502	5	507

Merged error: 0b

Counts

507 → 5

regimes151.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	13
1	11	13

end0.0ms

analyze608.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
12.5%	85.8%	1.7%	9
16.4%	79.2%	4.4%	10
20.7%	72.4%	7%	11
32.6%	53.3%	14.1%	12
36%	45.5%	18.5%	13
38.3%	41.1%	20.6%	14

sample714.0ms

Algorithm

intervals

Results

343.0ms	8000×	body	80	valid
138.0ms	2956×	body	80	invalid

Details

analyze634.0ms

sample25.0ms

simplify44.0ms

prune10.0ms

localize8.0ms

rewrite25.0ms

series28.0ms

simplify60.0ms

prune113.0ms

localize9.0ms

rewrite57.0ms

series39.0ms

simplify67.0ms

prune238.0ms

localize8.0ms

rewrite53.0ms

series31.0ms

simplify54.0ms

prune137.0ms

localize10.0ms

rewrite151.0ms

series30.0ms

simplify129.0ms

prune333.0ms

regimes151.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze608.0ms

sample714.0ms

Profiling