Details

sample36.0ms

Algorithm

intervals

Results

11.0ms	307×	body	80	nan
11.0ms	280×	body	80	valid

simplify17.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

localize16.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.3b	(* 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:

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

series165.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
62.0ms	(/ y (* 3.0 (sqrt x)))
38.0ms	(* 3.0 (sqrt x))
16.0ms	(/ 1.0 (* x 9.0))

simplify53.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (45.0ms)

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

prune213.0ms

Filtered

97 candidates to 70 candidates (72.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	88	9	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	9	98

Merged error: 0.0b

Counts

98 → 9

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 158

Calls

3 calls:

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

series130.0ms

Counts

3 → 9

Calls

3 calls:

50.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
57.0ms	(/ (/ y 3.0) (sqrt x))
22.0ms	(/ 1.0 (* x 9.0))

simplify73.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	760	1441
1	2924	1358
2	5002	1358

prune332.0ms

Filtered

167 candidates to 112 candidates (67.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	166	10	176

Merged error: 0.0b

Counts

176 → 10

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.3b	(* 3.0 (sqrt x))
0.3b	(/ (/ 1.0 x) 9.0)

rewrite43.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:

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

series167.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
63.0ms	(/ y (* 3.0 (sqrt x)))
38.0ms	(* 3.0 (sqrt x))
16.0ms	(/ (/ 1.0 x) 9.0)

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

prune303.0ms

Filtered

146 candidates to 113 candidates (77.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	146	10	156

Merged error: 0.0b

Counts

156 → 10

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

rewrite34.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))
13.0ms	(* (/ 1 3.0) (/ y (sqrt x)))
4.0ms	(/ 1.0 (* x 9.0))

series371.0ms

Counts

4 → 12

Calls

4 calls:

249.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
42.0ms	(/ y (sqrt x))
64.0ms	(* (/ 1 3.0) (/ y (sqrt x)))
16.0ms	(/ 1.0 (* x 9.0))

simplify87.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (74.0ms)

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

prune286.0ms

Filtered

162 candidates to 111 candidates (68.5%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	162	10	172

Merged error: 0.0b

Counts

172 → 10

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

sample942.0ms

Algorithm

intervals

Results

342.0ms	8532×	body	80	valid
323.0ms	8705×	body	80	nan

Details

sample36.0ms

simplify17.0ms

prune2.0ms

localize16.0ms

rewrite26.0ms

series165.0ms

simplify53.0ms

prune213.0ms

localize14.0ms

rewrite49.0ms

series130.0ms

simplify73.0ms

prune332.0ms

localize9.0ms

rewrite43.0ms

series167.0ms

simplify72.0ms

prune303.0ms

localize16.0ms

rewrite34.0ms

series371.0ms

simplify87.0ms

prune286.0ms

regimes69.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample942.0ms

Profiling