Details

sample54.0ms

Algorithm

intervals

Results

18.0ms	248×	body	80	nan
16.0ms	270×	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

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: 0.2b

Counts

2 → 1

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

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

series23.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
9.0ms	(/ y (* 3.0 (sqrt x)))
2.0ms	(/ 1.0 (* x 9.0))
4.0ms	(* 3.0 (sqrt x))

simplify58.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	528	590
1	2266	548
2	5001	546

prune162.0ms

Filtered

97 candidates to 71 candidates (26.8%)

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

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

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

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

series24.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
10.0ms	(/ y (* 3.0 (sqrt x)))
2.0ms	(/ (/ 1.0 x) 9.0)
4.0ms	(* 3.0 (sqrt x))

simplify72.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	752	956
1	3127	906
2	5002	906

prune211.0ms

Filtered

146 candidates to 113 candidates (22.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	146	9	155

Merged error: 0.0b

Counts

155 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

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

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:

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

series18.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
2.0ms	(/ 1.0 (* x 9.0))
8.0ms	(/ (/ y 3.0) (sqrt x))

simplify68.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	764	1441
1	2994	1367
2	5001	1367

prune198.0ms

Filtered

167 candidates to 112 candidates (32.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	168	8	176

Merged error: 0.0b

Counts

176 → 8

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	(/ 1.0 (* x 9.0))
0.3b	(/ y (sqrt x))
0.4b	(* (/ 1 3.0) (/ y (sqrt x)))

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

series28.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (* (/ 1 3.0) (/ y (sqrt x))))
2.0ms	(/ 1.0 (* x 9.0))
9.0ms	(/ y (sqrt x))
8.0ms	(* (/ 1 3.0) (/ y (sqrt x)))

simplify83.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	782	1162
1	3616	1041
2	5001	1033

prune166.0ms

Filtered

162 candidates to 112 candidates (30.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	162	8	170

Merged error: 0.0b

Counts

170 → 8

regimes167.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.1s

Algorithm

intervals

Results

361.0ms	8540×	body	80	valid
342.0ms	8675×	body	80	nan

Details

sample54.0ms

simplify17.0ms

prune3.0ms

localize10.0ms

rewrite25.0ms

series23.0ms

simplify58.0ms

prune162.0ms

localize9.0ms

rewrite38.0ms

series24.0ms

simplify72.0ms

prune211.0ms

localize9.0ms

rewrite49.0ms

series18.0ms

simplify68.0ms

prune198.0ms

localize10.0ms

rewrite33.0ms

series28.0ms

simplify83.0ms

prune166.0ms

regimes167.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling