Details

sample43.0ms

Algorithm

intervals

Results

11.0ms	241×	body	80	nan
8.0ms	54×	body	640	valid
5.0ms	29×	body	1280	valid
5.0ms	136×	body	80	valid
2.0ms	24×	body	320	valid
1.0ms	13×	body	160	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	6
1	14	6
2	14	6

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

Counts

2 → 1

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x 1.0))
0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.2b	(/ 1.0 (sqrt x))
3.4b	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

75×	`*-un-lft-identity`
73×	`add-sqr-sqrt`
69×	`times-frac`
50×	`sqrt-prod`
42×	`add-cube-cbrt`
13×	`associate-/r*`
11×	`distribute-lft-out--`
9×	`difference-of-squares`
8×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
6×	`associate-/l*` `add-log-exp`
5×	`pow1`
4×	`sqrt-div` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `associate-/r/` `flip-+`
1×	`sub-neg` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `diff-log` `frac-sub` `flip--`

Counts

4 → 133

Calls

4 calls:

3.0ms	(sqrt (+ x 1.0))
5.0ms	(/ 1.0 (sqrt (+ x 1.0)))
4.0ms	(/ 1.0 (sqrt x))
32.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

series28.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(sqrt (+ x 1.0))
6.0ms	(/ 1.0 (sqrt (+ x 1.0)))
7.0ms	(/ 1.0 (sqrt x))
12.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

simplify59.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	610	1151
1	2301	1116
2	5001	1086

prune272.0ms

Filtered

145 candidates to 100 candidates (31.0%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	130	15	145
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	131	15	146

Merged error: 20.4b

Counts

146 → 15

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
0.3b	(* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))
0.5b	(* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x)))
3.3b	(- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0)))))

rewrite129.0ms

Algorithm

rewrite-expression-head

Rules

362×	`times-frac`
331×	`*-un-lft-identity`
258×	`add-sqr-sqrt`
180×	`sqrt-prod`
174×	`add-cube-cbrt`
88×	`distribute-lft-out`
67×	`swap-sqr`
49×	`associate-r` `associate-l`
30×	`add-exp-log` `add-cbrt-cube`
19×	`div-inv`
18×	`pow1` `frac-sub` `unswap-sqr`
16×	`difference-of-squares`
14×	`frac-times` `associate-r/` `associate-l/` `associate-/r*`
11×	`associate-/r/` `associate-/l/`
9×	`cbrt-undiv` `div-exp`
8×	`sqrt-div` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-/l*`
2×	`pow2` `flip3--` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up` `flip--`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `frac-add` `clear-num`

Counts

4 → 354

Calls

4 calls:

55.0ms	(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
23.0ms	(* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))
16.0ms	(* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x)))
8.0ms	(- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0)))))

series35.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
2.0ms	(* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))
3.0ms	(* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x)))
5.0ms	(- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0)))))

simplify86.0ms

Algorithm

egg-herbie

Counts

366 → 366

Iterations

Useful iterations: 1 (34.0ms)

Iter	Nodes	Cost
0	1718	5942
1	5001	5479

prune979.0ms

Filtered

366 candidates to 203 candidates (44.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	361	5	366
Fresh	12	2	14
Picked	1	0	1
Done	0	0	0
Total	374	7	381

Merged error: 4.7b

Counts

381 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.2b	(/ 1.0 (sqrt x))
0.3b	(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
2.2b	(- (+ x 1.0) x)

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

303×	`*-un-lft-identity`
296×	`times-frac`
124×	`sqrt-prod`
117×	`distribute-lft-out`
108×	`add-sqr-sqrt`
106×	`add-cube-cbrt`
37×	`add-exp-log` `add-cbrt-cube`
35×	`associate-/r/`
34×	`div-inv`
30×	`associate-*l/`
27×	`associate-/r*`
17×	`flip3-+` `flip-+`
15×	`cbrt-undiv` `div-exp`
13×	`associate-/l*`
9×	`prod-exp` `cbrt-unprod` `add-log-exp`
4×	`pow1`
3×	`frac-2neg` `clear-num`
2×	`sqrt-div` `diff-log` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `frac-add` `associate--l+` `sum-log` `flip--` `associate-/l/` `difference-of-squares`

Counts

4 → 248

Calls

4 calls:

5.0ms	(/ 1.0 (sqrt (+ x 1.0)))
4.0ms	(/ 1.0 (sqrt x))
46.0ms	(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
6.0ms	(- (+ x 1.0) x)

series48.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ 1.0 (sqrt (+ x 1.0)))
12.0ms	(/ 1.0 (sqrt x))
30.0ms	(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
1.0ms	(- (+ x 1.0) x)

simplify67.0ms

Algorithm

egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1494	4115
1	5002	3785

prune456.0ms

Filtered

260 candidates to 144 candidates (44.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	258	2	260
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	261	6	267

Merged error: 4.7b

Counts

267 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.2b	(/ 1.0 (sqrt x))
0.7b	(/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x))
4.2b	(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

298×	`*-un-lft-identity`
297×	`times-frac`
124×	`sqrt-prod`
116×	`distribute-lft-out`
106×	`add-sqr-sqrt` `add-cube-cbrt`
58×	`add-exp-log` `add-cbrt-cube`
37×	`associate-/r/`
35×	`div-inv`
32×	`associate-*l/`
28×	`associate-/r*`
21×	`cbrt-undiv` `div-exp`
18×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+`
14×	`associate-/l*`
4×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
2×	`sqrt-div`
1×	`frac-add` `associate-/l/`

Counts

4 → 258

Calls

4 calls:

9.0ms	(/ 1.0 (sqrt (+ x 1.0)))
4.0ms	(/ 1.0 (sqrt x))
10.0ms	(/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x))
40.0ms	(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

series45.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ 1.0 (sqrt (+ x 1.0)))
7.0ms	(/ 1.0 (sqrt x))
3.0ms	(/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x))
30.0ms	(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

simplify71.0ms

Algorithm

egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	1449	3810
1	5001	3418

prune438.0ms

Filtered

270 candidates to 147 candidates (45.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	262	8	270
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	267	9	276

Merged error: 0.0b

Counts

276 → 9

regimes53.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	12
1	15	12

end0.0ms

sample1.2s

Algorithm

intervals

Results

265.0ms	7825×	body	80	nan
252.0ms	1833×	body	640	valid
204.0ms	1166×	body	1280	valid
151.0ms	4104×	body	80	valid
63.0ms	594×	body	320	valid
20.0ms	303×	body	160	valid

Details

sample43.0ms

simplify4.0ms

prune3.0ms

localize7.0ms

rewrite48.0ms

series28.0ms

simplify59.0ms

prune272.0ms

localize12.0ms

rewrite129.0ms

series35.0ms

simplify86.0ms

prune979.0ms

localize13.0ms

rewrite76.0ms

series48.0ms

simplify67.0ms

prune456.0ms

localize14.0ms

rewrite78.0ms

series45.0ms

simplify71.0ms

prune438.0ms

regimes53.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling