Details

sample31.0ms

Algorithm

intervals

Results

16.0ms	273×	body	80	valid
2.0ms	60×	body	80	nan

simplify103.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	7
1	65	7
2	182	7
3	338	7
4	488	7
5	757	7
6	1166	7
7	1729	7
8	2793	7
9	5001	7

prune3.0ms

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
16×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
12×	`associate-r`
11×	`pow1`
10×	`add-cube-cbrt`
6×	`add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`associate-l` `pow-prod-down` `sqrt-prod`
3×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `associate-/l*`
2×	`cbrt-undiv` `sub-neg` `associate-r/` `div-exp` `associate--l+` `-commutative` `distribute-lft-out` `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 → 84

Calls

4 calls:

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

series22.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify64.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	508	558
1	2557	503
2	5001	501

prune148.0ms

Filtered

64 candidates to 96 candidates (-50.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	86	10	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	10	97

Merged error: 0.0b

Counts

97 → 10

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 133

Calls

4 calls:

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

series25.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify85.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	730	924
1	3357	863
2	5001	863

prune217.0ms

Filtered

107 candidates to 145 candidates (-35.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	3	6	9
Picked	1	0	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.2b	(* (* 3.0 (sqrt x)) (- (+ y (/ 1 (/ 9.0 (/ 1.0 x)))) 1.0))
0.3b	(/ 1 (/ 9.0 (/ 1.0 x)))
0.3b	(* 3.0 (sqrt x))
0.3b	(/ 9.0 (/ 1.0 x))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

471×	`times-frac`
242×	`*-un-lft-identity`
241×	`add-sqr-sqrt`
235×	`add-cube-cbrt`
57×	`associate-/r*`
37×	`add-exp-log`
25×	`add-cbrt-cube`
23×	`div-inv`
18×	`div-exp`
13×	`associate-r`
12×	`pow1`
9×	`cbrt-undiv`
6×	`associate-/r/` `associate-/l*`
4×	`associate-l` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod` `add-log-exp`
3×	`distribute-rgt-in` `rec-exp` `distribute-lft-in` `1-exp` `distribute-lft-out--`
2×	`sub-neg` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `-commutative` `distribute-lft-out` `unswap-sqr`
1×	`flip3--` `pow-flip` `flip--` `inv-pow` `difference-of-squares`

Counts

4 → 326

Calls

4 calls:

40.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1 (/ 9.0 (/ 1.0 x)))) 1.0))
11.0ms	(/ 1 (/ 9.0 (/ 1.0 x)))
4.0ms	(* 3.0 (sqrt x))
6.0ms	(/ 9.0 (/ 1.0 x))

series20.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1 (/ 9.0 (/ 1.0 x)))) 1.0))
2.0ms	(/ 1 (/ 9.0 (/ 1.0 x)))
4.0ms	(* 3.0 (sqrt x))
2.0ms	(/ 9.0 (/ 1.0 x))

simplify66.0ms

Algorithm

egg-herbie

Counts

338 → 338

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1313	2803
1	5001	2502

prune539.0ms

Filtered

227 candidates to 338 candidates (-48.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	338	0	338
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	338	9	347

Merged error: 0.0b

Counts

347 → 9

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

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 147

Calls

4 calls:

12.0ms	(+ y (/ (/ 1.0 x) 9.0))
17.0ms	(* (sqrt x) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
6.0ms	(/ (/ 1.0 x) 9.0)
18.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0)))

series30.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify87.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	752	1152
1	3141	1078
2	5003	1078

prune203.0ms

Filtered

112 candidates to 159 candidates (-42.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	157	2	159
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	159	9	168

Merged error: 0.0b

Counts

168 → 9

regimes218.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	8
1	19	8

end0.0ms

sample705.0ms

Algorithm

intervals

Results

360.0ms	8506×	body	80	valid
90.0ms	2071×	body	80	nan

Details

sample31.0ms

simplify103.0ms

prune3.0ms

localize9.0ms

rewrite26.0ms

series22.0ms

simplify64.0ms

prune148.0ms

localize9.0ms

rewrite44.0ms

series25.0ms

simplify85.0ms

prune217.0ms

localize11.0ms

rewrite80.0ms

series20.0ms

simplify66.0ms

prune539.0ms

localize11.0ms

rewrite58.0ms

series30.0ms

simplify87.0ms

prune203.0ms

regimes218.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample705.0ms

Profiling