Details

sample45.0ms

Algorithm

intervals

Results

16.0ms	273×	body	80	valid
11.0ms	290×	body	80	nan

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	102	14
1	102	14

prune5.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	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	(/ y (* 3.0 (sqrt x)))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(* 3.0 (sqrt x))

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

series22.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify31.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5101	1019

prune348.0ms

Filtered

72 candidates to 97 candidates (-34.7%)

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

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:

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

series23.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify36.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5485	1648

prune218.0ms

Filtered

113 candidates to 146 candidates (-29.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

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

Merged error: 0.0b

Counts

155 → 9

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 114

Calls

4 calls:

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

series27.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))
8.0ms	(/ 1 (* (/ 3.0 y) (sqrt x)))
9.0ms	(* (/ 3.0 y) (sqrt x))

simplify70.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4989	1313
1	4989	1313

prune156.0ms

Filtered

84 candidates to 126 candidates (-50.0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	125	1	126
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	126	9	135

Merged error: 0.0b

Counts

135 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

69×	`times-frac`
45×	`add-sqr-sqrt`
41×	`add-cube-cbrt` `*-un-lft-identity`
28×	`sqrt-prod`
25×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
10×	`div-inv`
9×	`cbrt-undiv` `div-exp`
8×	`associate-/r*`
6×	`pow1` `associate-r`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
3×	`frac-2neg` `associate-l` `clear-num`
2×	`unswap-sqr`
1×	`pow-prod-down` `*-commutative` `associate-/l/`

Counts

4 → 136

Calls

4 calls:

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

series32.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify54.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5011	1476

prune214.0ms

Filtered

99 candidates to 148 candidates (-49.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	0	6	6
Picked	1	0	1
Done	0	2	2
Total	148	9	157

Merged error: 0b

Counts

157 → 9

regimes115.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	14
1	13	14

end0.0ms

sample1.1s

Algorithm

intervals

Results

379.0ms	8505×	body	80	valid
335.0ms	8528×	body	80	nan

Details

sample45.0ms

simplify4.0ms

prune5.0ms

localize9.0ms

rewrite26.0ms

series22.0ms

simplify31.0ms

prune348.0ms

localize9.0ms

rewrite43.0ms

series23.0ms

simplify36.0ms

prune218.0ms

localize11.0ms

rewrite35.0ms

series27.0ms

simplify70.0ms

prune156.0ms

localize11.0ms

rewrite27.0ms

series32.0ms

simplify54.0ms

prune214.0ms

regimes115.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling