Details

sample16.0ms

Algorithm

intervals

Results

7.0ms

288×

body

valid

simplify101.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	19	5
1	27	5
2	40	5
3	47	5
4	63	5
5	75	5
6	106	5
7	112	5
8	118	5
9	122	5
10	130	5
11	402	5
12	2605	5
13	5001	5

prune2.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: 10.1b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ x y) 1.0)
0.1b	(* x (+ (/ x y) 1.0))
9.4b	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

76×	`*-un-lft-identity`
52×	`times-frac`
46×	`add-sqr-sqrt`
34×	`add-cube-cbrt`
24×	`associate-r`
21×	`distribute-lft-out`
18×	`associate-l`
13×	`associate-/l*`
10×	`add-exp-log` `add-cbrt-cube`
6×	`*-commutative` `unswap-sqr`
5×	`pow1` `add-log-exp`
4×	`flip3-+` `associate-r/` `associate-/r` `flip-+`
3×	`+-commutative`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`frac-2neg` `pow-prod-down` `clear-num` `sum-log` `div-inv`

Counts

3 → 124

Calls

3 calls:

7.0ms	(+ (/ x y) 1.0)
10.0ms	(* x (+ (/ x y) 1.0))
19.0ms	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

series92.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(+ (/ x y) 1.0)
32.0ms	(* x (+ (/ x y) 1.0))
47.0ms	(/ (* x (+ (/ x y) 1.0)) (+ x 1.0))

simplify71.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	426	980
1	2047	926
2	5001	926

prune163.0ms

Filtered

133 candidates to 84 candidates (36.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	129	4	133
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	130	4	134

Merged error: 0b

Counts

134 → 4

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(+ (/ x y) 1.0)
0.0b	(* (+ (/ x y) 1.0) (/ x (+ x 1.0)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
32×	`add-sqr-sqrt`
27×	`add-cube-cbrt`
25×	`times-frac`
20×	`frac-times`
18×	`associate-r`
16×	`associate-/r*`
14×	`flip3-+` `flip-+`
13×	`associate-/l*`
12×	`distribute-lft-out`
10×	`add-exp-log` `associate-*r/` `add-cbrt-cube`
5×	`pow1` `clear-num` `add-log-exp`
4×	`frac-2neg` `associate-l` `associate-/r/`
2×	`cbrt-undiv` `div-exp` `associate-*l/` `prod-exp` `un-div-inv` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`+-commutative` `pow-prod-down` `sum-log` `*-commutative`

Counts

3 → 116

Calls

3 calls:

5.0ms	(/ x (+ x 1.0))
7.0ms	(+ (/ x y) 1.0)
17.0ms	(* (+ (/ x y) 1.0) (/ x (+ x 1.0)))

series98.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(/ x (+ x 1.0))
12.0ms	(+ (/ x y) 1.0)
48.0ms	(* (+ (/ x y) 1.0) (/ x (+ x 1.0)))

simplify77.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	441	865
1	2316	811
2	5002	811

prune167.0ms

Filtered

125 candidates to 86 candidates (31.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	123	2	125
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	125	4	129

Merged error: 0b

Counts

129 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ x y) 1.0)
0.1b	(* x (+ (/ x y) 1.0))
0.2b	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
9.4b	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

434×	`times-frac`
387×	`*-un-lft-identity`
248×	`add-sqr-sqrt`
202×	`add-cube-cbrt`
92×	`associate-r` `distribute-lft-out`
84×	`associate-/r*`
69×	`associate-l`
32×	`add-exp-log` `associate-/r/`
23×	`*-commutative` `unswap-sqr`
20×	`add-cbrt-cube`
14×	`div-exp`
13×	`associate-/l*`
12×	`associate-*r/`
9×	`flip3-+` `flip-+`
7×	`pow1` `cbrt-undiv`
6×	`div-inv` `add-log-exp`
5×	`prod-exp`
4×	`clear-num` `associate-/l/`
3×	`+-commutative` `rec-exp` `frac-2neg` `1-exp` `cbrt-unprod` `remove-double-div`
2×	`distribute-rgt-in` `distribute-lft-in`
1×	`pow-flip` `pow-prod-down` `sum-log` `inv-pow`

Counts

4 → 408

Calls

4 calls:

7.0ms	(+ (/ x y) 1.0)
10.0ms	(* x (+ (/ x y) 1.0))
25.0ms	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
15.0ms	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

series183.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (/ x y) 1.0)
31.0ms	(* x (+ (/ x y) 1.0))
47.0ms	(/ 1 (/ (+ x 1.0) (* x (+ (/ x y) 1.0))))
92.0ms	(/ (+ x 1.0) (* x (+ (/ x y) 1.0)))

simplify88.0ms

Algorithm

egg-herbie

Counts

420 → 420

Iterations

Useful iterations: 1 (37.0ms)

Iter	Nodes	Cost
0	1009	4123
1	5001	3723

prune432.0ms

Filtered

420 candidates to 212 candidates (49.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	420	0	420
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	420	4	424

Merged error: 0b

Counts

424 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (/ x (+ x 1.0)))
0.0b	(sqrt (/ x (+ x 1.0)))
0.0b	(* (+ (/ x y) 1.0) (sqrt (/ x (+ x 1.0))))
0.1b	(* (* (+ (/ x y) 1.0) (sqrt (/ x (+ x 1.0)))) (sqrt (/ x (+ x 1.0))))

rewrite160.0ms

Algorithm

rewrite-expression-head

Rules

710×	`sqrt-div`
560×	`frac-times`
368×	`*-un-lft-identity`
284×	`associate-/r*`
252×	`add-sqr-sqrt`
213×	`associate-/l*`
192×	`add-cube-cbrt`
137×	`flip3-+` `flip-+`
130×	`associate-*r/`
108×	`sqrt-prod`
88×	`distribute-lft-out`
71×	`frac-2neg` `times-frac` `clear-num`
63×	`associate-r`
56×	`associate-*l/`
41×	`associate-l`
27×	`unswap-sqr`
13×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/r/`
5×	`div-inv`
4×	`rem-sqrt-square` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`*-commutative`
2×	`sqrt-pow1` `pow1/2`

Counts

4 → 591

Calls

4 calls:

6.0ms	(sqrt (/ x (+ x 1.0)))
6.0ms	(sqrt (/ x (+ x 1.0)))
48.0ms	(* (+ (/ x y) 1.0) (sqrt (/ x (+ x 1.0))))
47.0ms	(* (* (+ (/ x y) 1.0) (sqrt (/ x (+ x 1.0)))) (sqrt (/ x (+ x 1.0))))

series281.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(sqrt (/ x (+ x 1.0)))
61.0ms	(sqrt (/ x (+ x 1.0)))
87.0ms	(* (+ (/ x y) 1.0) (sqrt (/ x (+ x 1.0))))
69.0ms	(* (* (+ (/ x y) 1.0) (sqrt (/ x (+ x 1.0)))) (sqrt (/ x (+ x 1.0))))

simplify139.0ms

Algorithm

egg-herbie

Counts

603 → 603

Iterations

Useful iterations: 1 (47.0ms)

Iter	Nodes	Cost
0	1743	8978
1	5002	8591

prune828.0ms

Filtered

603 candidates to 284 candidates (52.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	603	0	603
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	603	4	607

Merged error: 0b

Counts

607 → 4

regimes36.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	5
1	11	5

end0.0ms

sample386.0ms

Algorithm

intervals

Results

240.0ms

9121×

body

valid