Details

sample35.0ms

Algorithm

intervals

Results

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

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

localize9.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))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
16×	`add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
11×	`add-cube-cbrt`
9×	`add-log-exp`
6×	`pow1` `times-frac` `associate-r` `associate-/l*`
4×	`cbrt-undiv` `div-exp` `sqrt-prod`
3×	`diff-log` `associate-l` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `frac-2neg` `associate--l+` `clear-num` `associate-/r*` `frac-sub` `flip--` `div-inv` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative` `difference-of-squares`

Counts

4 → 85

Calls

4 calls:

9.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))

series168.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
43.0ms	(* 3.0 (sqrt x))
60.0ms	(/ y (* 3.0 (sqrt x)))
20.0ms	(/ 1.0 (* x 9.0))

simplify56.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	516	590
1	2039	534
2	5001	532

prune203.0ms

Filtered

97 candidates to 70 candidates (72.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	90	7	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	7	98

Merged error: 0.0b

Counts

98 → 7

localize9.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)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
57×	`add-sqr-sqrt`
56×	`*-un-lft-identity`
51×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`add-log-exp`
6×	`pow1` `associate-r` `div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`associate-/r*` `sqrt-prod`
3×	`diff-log` `associate-l` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `associate--l+` `clear-num` `frac-sub` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative` `associate-/l/` `difference-of-squares`

Counts

4 → 134

Calls

4 calls:

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

series164.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
61.0ms	(/ y (* 3.0 (sqrt x)))
38.0ms	(* 3.0 (sqrt x))
20.0ms	(/ (/ 1.0 x) 9.0)

simplify70.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	741	956
1	2914	892
2	5001	892

prune291.0ms

Filtered

146 candidates to 112 candidates (76.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	145	8	153

Merged error: 0b

Counts

153 → 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))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

150×	`times-frac`
101×	`add-sqr-sqrt`
90×	`*-un-lft-identity`
83×	`add-cube-cbrt`
44×	`sqrt-prod`
16×	`associate-/l*`
14×	`add-exp-log` `add-cbrt-cube`
11×	`add-log-exp`
9×	`div-inv`
7×	`associate-/r*`
6×	`difference-of-squares`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `diff-log` `distribute-lft-out--`
3×	`sub-neg` `flip3--` `flip--`
2×	`frac-2neg` `associate--l+` `clear-num` `frac-sub`
1×	`associate--l-` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 172

Calls

4 calls:

5.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
34.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))

series157.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
44.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
61.0ms	(/ (/ y 3.0) (sqrt x))
16.0ms	(/ 1.0 (* x 9.0))

simplify71.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	771	1529
1	2943	1446
2	5001	1446

prune344.0ms

Filtered

184 candidates to 124 candidates (67.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	185	7	192

Merged error: 0b

Counts

192 → 7

localize10.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))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

68×	`add-sqr-sqrt`
60×	`times-frac`
44×	`*-un-lft-identity`
41×	`add-cube-cbrt`
33×	`add-exp-log`
24×	`sqrt-prod`
23×	`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*`
6×	`pow1` `frac-sub` `associate-/l*`
5×	`cbrt-unprod`
4×	`flip3--` `flip--` `div-inv`
3×	`frac-times` `diff-log` `associate-r/` `associate-l/`
2×	`sub-neg` `rec-exp` `frac-2neg` `1-exp` `associate--l+` `clear-num`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 150

Calls

4 calls:

7.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
4.0ms	(/ y (sqrt x))
17.0ms	(* (/ 1 3.0) (/ y (sqrt x)))
4.0ms	(/ 1.0 (* x 9.0))

series170.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))
63.0ms	(* (/ 1 3.0) (/ y (sqrt x)))
17.0ms	(/ 1.0 (* x 9.0))

simplify84.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	767	1171
1	3524	1033
2	5001	1025

prune279.0ms

Filtered

162 candidates to 111 candidates (68.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	162	7	169

Merged error: 0b

Counts

169 → 7

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

sample961.0ms

Algorithm

intervals

Results

355.0ms	8555×	body	80	valid
331.0ms	8590×	body	80	nan

Details

sample35.0ms

simplify18.0ms

prune2.0ms

localize9.0ms

rewrite26.0ms

series168.0ms

simplify56.0ms

prune203.0ms

localize9.0ms

rewrite39.0ms

series164.0ms

simplify70.0ms

prune291.0ms

localize9.0ms

rewrite57.0ms

series157.0ms

simplify71.0ms

prune344.0ms

localize10.0ms

rewrite38.0ms

series170.0ms

simplify84.0ms

prune279.0ms

regimes56.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample961.0ms

Profiling