Details

sample32.0ms

Algorithm

intervals

Results

11.0ms	270×	body	80	valid
8.0ms	273×	body	80	nan

simplify111.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	7
1	65	7
2	190	7
3	412	7
4	644	7
5	1083	7
6	1628	7
7	2273	7
8	3723	7
9	5001	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.4b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

44×	`*-un-lft-identity`
31×	`add-sqr-sqrt`
25×	`add-cube-cbrt`
24×	`prod-diff`
16×	`add-exp-log` `add-cbrt-cube`
15×	`distribute-rgt-in` `distribute-lft-in`
12×	`associate-r`
11×	`pow1`
8×	`distribute-lft-out`
6×	`add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `associate-l` `pow-prod-down` `sqrt-prod` `log1p-expm1-u`
3×	`fma-def` `times-frac` `associate-/l*`
2×	`cbrt-undiv` `sub-neg` `associate-r/` `div-exp` `associate--l+` `-commutative` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3--` `frac-2neg` `flip3-+` `clear-num` `associate-/r*` `sum-log` `flip--` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 119

Calls

4 calls:

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

series144.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(+ y (/ 1.0 (* x 9.0)))
64.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
15.0ms	(/ 1.0 (* x 9.0))
40.0ms	(* 3.0 (sqrt x))

simplify92.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (77.0ms)

Iter	Nodes	Cost
0	594	1130
1	2888	878
2	5001	872

prune221.0ms

Filtered

131 candidates to 75 candidates (57.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	118	13	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	13	132

Merged error: 0.0b

Counts

132 → 13

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
18×	`add-exp-log` `add-cbrt-cube`
15×	`associate-r`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
8×	`sqrt-prod`
7×	`associate-l`
6×	`prod-exp` `cbrt-unprod`
5×	`pow-prod-down`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`times-frac` `-commutative` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`frac-2neg` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 91

Calls

4 calls:

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

series145.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(* (* 3.0 (sqrt x)) y)
20.0ms	(/ 1.0 (* x 9.0))
35.0ms	(* 3.0 (sqrt x))
39.0ms	(* 3.0 (sqrt x))

simplify44.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	366	440
1	1571	379
2	5002	366

prune201.0ms

Filtered

103 candidates to 70 candidates (68.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	104	12	116

Merged error: 0.0b

Counts

116 → 12

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

93×	`add-sqr-sqrt`
82×	`*-un-lft-identity`
80×	`add-cube-cbrt`
78×	`prod-diff`
55×	`times-frac`
41×	`distribute-rgt-in` `distribute-lft-in`
21×	`associate-r`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`associate-l` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
6×	`div-inv`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`sub-neg` `associate-*r/` `difference-of-squares`
1×	`flip3--` `flip--` `distribute-lft-out--`

Counts

4 → 175

Calls

4 calls:

14.0ms	(* (* 3.0 (sqrt x)) (- (/ 0.1111111111111111 x) 1.0))
5.0ms	(* (* 3.0 (sqrt x)) y)
5.0ms	(* 3.0 (sqrt x))
5.0ms	(* 3.0 (sqrt x))

series203.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(* (* 3.0 (sqrt x)) (- (/ 0.1111111111111111 x) 1.0))
54.0ms	(* (* 3.0 (sqrt x)) y)
35.0ms	(* 3.0 (sqrt x))
41.0ms	(* 3.0 (sqrt x))

simplify90.0ms

Algorithm

egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	824	2229
1	3519	1706
2	5002	1570

prune227.0ms

Filtered

187 candidates to 77 candidates (41.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	184	3	187
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	187	12	199

Merged error: 0.0b

Counts

199 → 12

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

96×	`*-un-lft-identity`
75×	`distribute-rgt-in` `distribute-lft-in`
72×	`prod-diff`
59×	`add-sqr-sqrt`
53×	`add-cube-cbrt`
20×	`distribute-lft-out`
16×	`add-exp-log` `add-cbrt-cube`
11×	`pow1`
9×	`associate-l`
7×	`associate-r`
6×	`sub-neg` `associate-*r/` `associate--l+` `add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `pow-prod-down` `sqrt-prod` `log1p-expm1-u`
3×	`fma-def` `times-frac` `associate-/l*`
2×	`cbrt-undiv` `flip3--` `div-exp` `*-commutative` `flip--` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `clear-num` `associate-/r*` `sum-log` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 181

Calls

4 calls:

5.0ms	(+ y (/ 1.0 (* x 9.0)))
12.0ms	(* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
4.0ms	(/ 1.0 (* x 9.0))
14.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))

series170.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ y (/ 1.0 (* x 9.0)))
63.0ms	(* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
15.0ms	(/ 1.0 (* x 9.0))
66.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))

simplify90.0ms

Algorithm

egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	633	2404
1	2665	1754
2	5002	1748

prune206.0ms

Filtered

193 candidates to 84 candidates (43.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	190	3	193
Fresh	4	7	11
Picked	0	1	1
Done	0	0	0
Total	194	11	205

Merged error: 0.0b

Counts

205 → 11

regimes123.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	7
1	16	7

end0.0ms

sample787.0ms

Algorithm

intervals

Results

267.0ms	8546×	body	80	valid
252.0ms	8626×	body	80	nan

Details

sample32.0ms

simplify111.0ms

prune2.0ms

localize9.0ms

rewrite31.0ms

series144.0ms

simplify92.0ms

prune221.0ms

localize10.0ms

rewrite21.0ms

series145.0ms

simplify44.0ms

prune201.0ms

localize9.0ms

rewrite38.0ms

series203.0ms

simplify90.0ms

prune227.0ms

localize9.0ms

rewrite44.0ms

series170.0ms

simplify90.0ms

prune206.0ms

regimes123.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample787.0ms

Profiling