Details

sample36.0ms

Algorithm

intervals

Results

11.0ms	272×	body	80	valid
11.0ms	272×	body	80	nan

simplify21.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	7
1	47	7
2	73	7
3	92	7
4	105	7
5	128	7
6	161	7
7	210	7
8	244	7
9	244	7

prune2.0ms

Filtered

1 candidates to 0 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.2b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.2b	(* 3.0 (sqrt x))
0.2b	(/ y (* 3.0 (sqrt x)))
0.4b	(/ 1.0 (* x 9.0))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
63×	`*-un-lft-identity`
56×	`prod-diff`
42×	`add-cube-cbrt`
30×	`times-frac`
23×	`associate--l+`
16×	`add-exp-log` `add-cbrt-cube`
11×	`distribute-lft-out--`
10×	`div-inv`
9×	`add-log-exp` `difference-of-squares`
6×	`pow1` `associate-r` `associate-/l*`
5×	`fma-neg`
4×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `sqrt-prod` `log1p-expm1-u`
3×	`diff-log` `associate-l` `prod-exp` `cbrt-unprod`
2×	`sub-neg` `flip3--` `frac-2neg` `clear-num` `associate-/r*` `frac-sub` `flip--` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 154

Calls

4 calls:

13.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
5.0ms	(* 3.0 (sqrt x))
5.0ms	(/ y (* 3.0 (sqrt x)))
4.0ms	(/ 1.0 (* x 9.0))

series157.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
36.0ms	(* 3.0 (sqrt x))
58.0ms	(/ y (* 3.0 (sqrt x)))
16.0ms	(/ 1.0 (* x 9.0))

simplify93.0ms

Algorithm

egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 2 (75.0ms)

Iter	Nodes	Cost
0	768	2009
1	3077	1504
2	5002	1453

prune325.0ms

Filtered

166 candidates to 109 candidates (65.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	159	7	166
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	160	7	167

Merged error: 0.0b

Counts

167 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
0.2b	(/ y (* 3.0 (sqrt x)))
0.2b	(* 3.0 (sqrt x))
0.2b	(/ (/ 1.0 x) 9.0)

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

321×	`times-frac`
299×	`add-sqr-sqrt`
242×	`*-un-lft-identity`
221×	`add-cube-cbrt`
178×	`prod-diff`
131×	`associate--l+`
25×	`div-inv` `difference-of-squares`
16×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
11×	`distribute-lft-out--`
9×	`add-log-exp`
7×	`fma-neg`
6×	`pow1` `associate-r`
5×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `associate-/r*` `sqrt-prod` `log1p-expm1-u`
3×	`diff-log` `associate-l`
2×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `clear-num` `frac-sub` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

4 → 327

Calls

4 calls:

32.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
8.0ms	(/ y (* 3.0 (sqrt x)))
5.0ms	(* 3.0 (sqrt x))
6.0ms	(/ (/ 1.0 x) 9.0)

series169.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
55.0ms	(/ y (* 3.0 (sqrt x)))
46.0ms	(* 3.0 (sqrt x))
25.0ms	(/ (/ 1.0 x) 9.0)

simplify105.0ms

Algorithm

egg-herbie

Counts

339 → 339

Iterations

Useful iterations: 1 (40.0ms)

Iter	Nodes	Cost
0	1497	5667
1	5001	4916

prune907.0ms

Filtered

339 candidates to 270 candidates (79.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	338	1	339
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	338	8	346

Merged error: 0b

Counts

346 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ 1.0 (* x 9.0)))
0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
0.3b	(/ (/ y 3.0) (sqrt x))
0.4b	(/ 1.0 (* x 9.0))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

828×	`times-frac`
722×	`add-sqr-sqrt`
711×	`*-un-lft-identity`
538×	`add-cube-cbrt`
452×	`prod-diff`
239×	`sqrt-prod`
89×	`difference-of-squares`
87×	`distribute-lft-out--`
50×	`div-inv`
23×	`associate--l+`
16×	`associate-/l*`
14×	`add-exp-log` `add-cbrt-cube`
11×	`add-log-exp`
8×	`fma-neg`
7×	`associate-/r*`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `expm1-log1p-u` `diff-log` `log1p-expm1-u`
3×	`sub-neg` `flip3--` `flip--`
2×	`frac-2neg` `clear-num` `frac-sub`
1×	`associate--l-` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 640

Calls

4 calls:

6.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
46.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
7.0ms	(/ (/ y 3.0) (sqrt x))
4.0ms	(/ 1.0 (* x 9.0))

series149.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
46.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
55.0ms	(/ (/ y 3.0) (sqrt x))
16.0ms	(/ 1.0 (* x 9.0))

simplify193.0ms

Algorithm

egg-herbie

Counts

652 → 652

Iterations

Useful iterations: 1 (47.0ms)

Iter	Nodes	Cost
0	2390	21085
1	5001	16927

prune1.0s

Filtered

652 candidates to 307 candidates (47.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	651	1	652
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	653	7	660

Merged error: 0b

Counts

660 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
0.2b	(/ y (sqrt x))
0.4b	(* (/ 1 3.0) (/ y (sqrt x)))
0.4b	(/ 1.0 (* x 9.0))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

87×	`add-sqr-sqrt`
69×	`times-frac`
63×	`*-un-lft-identity`
56×	`add-cube-cbrt`
33×	`add-exp-log`
26×	`prod-diff`
24×	`sqrt-prod`
23×	`associate--l+` `add-cbrt-cube`
22×	`associate-r`
13×	`associate-l`
11×	`div-exp`
9×	`prod-exp` `add-log-exp` `unswap-sqr`
7×	`cbrt-undiv` `associate-/r*` `div-inv`
6×	`pow1` `frac-sub` `associate-/l*`
5×	`fma-neg` `cbrt-unprod`
4×	`expm1-log1p-u` `flip3--` `flip--` `log1p-expm1-u`
3×	`frac-times` `diff-log` `associate-r/` `associate-l/`
2×	`sub-neg` `rec-exp` `frac-2neg` `1-exp` `clear-num` `distribute-lft-out--` `difference-of-squares`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 189

Calls

4 calls:

10.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
4.0ms	(/ y (sqrt x))
14.0ms	(* (/ 1 3.0) (/ y (sqrt x)))
5.0ms	(/ 1.0 (* x 9.0))

series173.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
41.0ms	(/ y (sqrt x))
64.0ms	(* (/ 1 3.0) (/ y (sqrt x)))
18.0ms	(/ 1.0 (* x 9.0))

simplify108.0ms

Algorithm

egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 2 (90.0ms)

Iter	Nodes	Cost
0	900	1708
1	4081	1417
2	5001	1396

prune394.0ms

Filtered

201 candidates to 147 candidates (73.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	201	0	201
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	201	7	208

Merged error: 0b

Counts

208 → 7

regimes52.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	13	7
1	13	7

end0.0ms

sample1.0s

Algorithm

intervals

Results

371.0ms	8555×	body	80	valid
353.0ms	8590×	body	80	nan

Details

sample36.0ms

simplify21.0ms

prune2.0ms

localize13.0ms

rewrite34.0ms

series157.0ms

simplify93.0ms

prune325.0ms

localize14.0ms

rewrite73.0ms

series169.0ms

simplify105.0ms

prune907.0ms

localize9.0ms

rewrite122.0ms

series149.0ms

simplify193.0ms

prune1.0s

localize11.0ms

rewrite44.0ms

series173.0ms

simplify108.0ms

prune394.0ms

regimes52.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling