Details

analyze74.0ms

Algorithm: search

sample16.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify45.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	8
1	152	8
2	501	8
3	2153	8
4	5001	8

prune3.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: 20.4b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

61×	`flip3-+` `flip-+`
60×	`frac-times`
33×	`*-un-lft-identity`
32×	`add-exp-log` `add-cbrt-cube`
30×	`associate-*l/`
26×	`associate-/r/`
18×	`associate-*r/`
16×	`pow1`
13×	`prod-exp` `cbrt-unprod`
12×	`add-sqr-sqrt` `distribute-lft-out`
9×	`add-cube-cbrt` `associate-r` `add-log-exp`
6×	`cbrt-undiv` `swap-sqr` `div-exp`
5×	`associate-l`
4×	`pow-prod-down`
3×	`sum-log`
2×	`distribute-rgt-in` `distribute-lft-in` `*-commutative` `unswap-sqr`
1×	`+-commutative` `pow2` `associate-+l+` `frac-2neg` `times-frac` `pow-plus` `clear-num` `associate-/r` `pow-sqr` `pow-prod-up` `div-inv` `associate-/l`

Counts

4 → 155

Calls

4 calls:

5.0ms	(+ (+ x y) 1.0)
8.0ms	(* (+ x y) (+ x y))
15.0ms	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
19.0ms	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ (+ x y) 1.0)
3.0ms	(* (+ x y) (+ x y))
9.0ms	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
19.0ms	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

simplify42.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	931	1554
1	5002	1411

prune174.0ms

Filtered

100 candidates to 167 candidates (-67.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

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

Merged error: 9.2b

Counts

168 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

80×	`*-un-lft-identity`
43×	`add-sqr-sqrt`
40×	`times-frac`
34×	`add-exp-log` `add-cbrt-cube`
31×	`add-cube-cbrt`
27×	`distribute-lft-out`
25×	`associate-r`
20×	`flip3-+` `associate-/r/` `flip-+`
19×	`associate-l`
13×	`pow1` `frac-times`
10×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
7×	`associate-r/` `associate-l/`
6×	`swap-sqr` `associate-/r` `associate-/l`
5×	`unswap-sqr`
4×	`div-inv` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `clear-num` `*-commutative`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow-sqr` `pow-prod-up`

Counts

4 → 170

Calls

4 calls:

6.0ms	(/ y (+ x (+ y 1.0)))
10.0ms	(* (+ x y) (+ x y))
21.0ms	(* (/ x (* (+ x y) (+ x y))) (/ y (+ x (+ y 1.0))))
9.0ms	(/ x (* (+ x y) (+ x y)))

series39.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ y (+ x (+ y 1.0)))
4.0ms	(* (+ x y) (+ x y))
20.0ms	(* (/ x (* (+ x y) (+ x y))) (/ y (+ x (+ y 1.0))))
9.0ms	(/ x (* (+ x y) (+ x y)))

simplify95.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	664	1330
1	3551	1145
2	5001	1141

prune197.0ms

Filtered

112 candidates to 182 candidates (-62.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	173	9	182
Fresh	5	1	6
Picked	1	0	1
Done	0	0	0
Total	179	10	189

Merged error: 0.0b

Counts

189 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

313×	`*-un-lft-identity`
303×	`times-frac`
163×	`add-sqr-sqrt`
142×	`add-cube-cbrt`
89×	`distribute-lft-out`
78×	`associate-l`
34×	`add-exp-log` `add-cbrt-cube`
28×	`associate-/r/`
24×	`associate-/l*`
21×	`associate-r`
14×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+` `div-inv`
13×	`associate-/r*`
6×	`pow1` `prod-exp` `cbrt-unprod` `unswap-sqr`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `associate-/l/`

Counts

4 → 310

Calls

4 calls:

7.0ms	(/ y (+ x (+ y 1.0)))
5.0ms	(/ x (+ x y))
10.0ms	(/ (/ x (+ x y)) (+ x y))
45.0ms	(* (/ (/ x (+ x y)) (+ x y)) (/ y (+ x (+ y 1.0))))

series40.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ y (+ x (+ y 1.0)))
5.0ms	(/ x (+ x y))
9.0ms	(/ (/ x (+ x y)) (+ x y))
19.0ms	(* (/ (/ x (+ x y)) (+ x y)) (/ y (+ x (+ y 1.0))))

simplify108.0ms

Algorithm

egg-herbie

Counts

322 → 322

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	988	2774
1	4588	2546
2	5002	2545

prune272.0ms

Filtered

193 candidates to 322 candidates (-66.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	314	8	322
Fresh	7	2	9
Picked	1	0	1
Done	0	0	0
Total	322	10	332

Merged error: 0b

Counts

332 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

284×	`*-un-lft-identity`
282×	`times-frac`
142×	`add-sqr-sqrt`
133×	`add-cube-cbrt`
80×	`add-exp-log`
79×	`associate-l`
77×	`distribute-lft-out`
52×	`add-cbrt-cube`
31×	`prod-exp`
27×	`div-exp`
26×	`associate-/r/`
24×	`associate-r`
21×	`associate-/l*`
17×	`cbrt-undiv` `cbrt-unprod`
13×	`flip3-+` `flip-+` `div-inv`
11×	`pow1`
8×	`associate-/r*`
4×	`rec-exp` `1-exp` `pow-prod-down` `associate-*l/` `add-log-exp`
3×	`unswap-sqr`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`frac-times` `associate-*r/` `un-div-inv` `associate-/l/`

Counts

4 → 304

Calls

4 calls:

5.0ms	(/ x (+ x y))
14.0ms	(/ (/ x (+ x y)) (+ x y))
23.0ms	(* (* (/ (/ x (+ x y)) (+ x y)) y) (/ 1 (+ x (+ y 1.0))))
21.0ms	(* (/ (/ x (+ x y)) (+ x y)) y)

series46.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ x y))
9.0ms	(/ (/ x (+ x y)) (+ x y))
20.0ms	(* (* (/ (/ x (+ x y)) (+ x y)) y) (/ 1 (+ x (+ y 1.0))))
11.0ms	(* (/ (/ x (+ x y)) (+ x y)) y)

simplify115.0ms

Algorithm

egg-herbie

Counts

316 → 316

Iterations

Useful iterations: 2 (85.0ms)

Iter	Nodes	Cost
0	970	2590
1	4734	2284
2	5001	2282

prune216.0ms

Filtered

177 candidates to 316 candidates (-78.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	314	2	316
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	317	9	326

Merged error: 0b

Counts

326 → 9

regimes112.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	9
1	18	9

end0.0ms

analyze75.0ms

Algorithm: search

sample413.0ms

Algorithm

intervals

Results

287.0ms

8000×

body

valid

Details

analyze74.0ms

sample16.0ms

simplify45.0ms

prune3.0ms

localize8.0ms

rewrite54.0ms

series34.0ms

simplify42.0ms

prune174.0ms

localize9.0ms

rewrite53.0ms

series39.0ms

simplify95.0ms

prune197.0ms

localize9.0ms

rewrite88.0ms

series40.0ms

simplify108.0ms

prune272.0ms

localize10.0ms

rewrite80.0ms

series46.0ms

simplify115.0ms

prune216.0ms

regimes112.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze75.0ms

sample413.0ms

Profiling