Details

sample39.0ms

Algorithm

intervals

Results

13.0ms	277×	body	80	nan
11.0ms	276×	body	80	valid

simplify107.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

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

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

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

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

series143.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(+ y (/ 1.0 (* x 9.0)))
60.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
40.0ms	(* 3.0 (sqrt x))
16.0ms	(/ 1.0 (* x 9.0))

simplify57.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	456	548
1	2172	486
2	5002	484

prune191.0ms

Filtered

96 candidates to 62 candidates (64.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	84	12	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	12	97

Merged error: 0.0b

Counts

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

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

series162.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ y (/ 1.0 (* x 9.0)))
54.0ms	(* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
65.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))
16.0ms	(/ 1.0 (* x 9.0))

simplify50.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	427	770
1	1858	694
2	5002	694

prune178.0ms

Filtered

110 candidates to 67 candidates (60.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	110	12	122

Merged error: 0.0b

Counts

122 → 12

localize9.0ms

Local error

Found 4 expressions with local error:

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

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

12.0ms	(+ y (/ (/ 1.0 x) 9.0))
6.0ms	(/ (/ 1.0 x) 9.0)
20.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
5.0ms	(* 3.0 (sqrt x))

series138.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ y (/ (/ 1.0 x) 9.0))
15.0ms	(/ (/ 1.0 x) 9.0)
62.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
36.0ms	(* 3.0 (sqrt x))

simplify71.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	679	914
1	2985	846
2	5002	846

prune275.0ms

Filtered

145 candidates to 105 candidates (72.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	143	2	145
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	144	13	157

Merged error: 0.0b

Counts

157 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 3.0 (sqrt x))
0.3b	(/ 1.0 (sqrt x))
0.3b	(/ 1 (sqrt x))
0.5b	(* (/ (/ 1 (sqrt x)) (sqrt 9.0)) (/ (/ 1.0 (sqrt x)) (sqrt 9.0)))

rewrite307.0ms

Algorithm

rewrite-expression-head

Rules

752×	`times-frac`
649×	`add-sqr-sqrt`
386×	`sqrt-prod`
311×	`*-un-lft-identity`
283×	`add-cube-cbrt`
142×	`associate-r`
139×	`associate-l`
79×	`unswap-sqr`
72×	`add-exp-log`
46×	`add-cbrt-cube`
36×	`div-exp`
20×	`cbrt-undiv`
16×	`prod-exp` `div-inv`
12×	`associate-/r*`
10×	`pow1` `cbrt-unprod`
6×	`associate-/l*`
4×	`rec-exp` `1-exp` `add-log-exp`
3×	`pow-flip`
2×	`frac-2neg` `pow-prod-down` `clear-num` `*-commutative`
1×	`frac-times` `sqrt-pow1` `pow1/2` `associate-r/` `associate-l/` `inv-pow`

Counts

4 → 491

Calls

4 calls:

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

series229.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* 3.0 (sqrt x))
43.0ms	(/ 1.0 (sqrt x))
26.0ms	(/ 1 (sqrt x))
123.0ms	(* (/ (/ 1 (sqrt x)) (sqrt 9.0)) (/ (/ 1.0 (sqrt x)) (sqrt 9.0)))

simplify97.0ms

Algorithm

egg-herbie

Counts

503 → 503

Iterations

Useful iterations: 1 (36.0ms)

Iter	Nodes	Cost
0	1810	6237
1	5001	5834

prune849.0ms

Filtered

503 candidates to 245 candidates (48.7%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	503	0	503
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	503	13	516

Merged error: 0.0b

Counts

516 → 13

regimes136.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 (1.0ms)

Iter	Nodes	Cost
0	16	7
1	16	7

end0.0ms

sample977.0ms

Algorithm

intervals

Results

347.0ms	8507×	body	80	valid
345.0ms	8754×	body	80	nan

Details

sample39.0ms

simplify107.0ms

prune2.0ms

localize9.0ms

rewrite28.0ms

series143.0ms

simplify57.0ms

prune191.0ms

localize9.0ms

rewrite39.0ms

series162.0ms

simplify50.0ms

prune178.0ms

localize9.0ms

rewrite51.0ms

series138.0ms

simplify71.0ms

prune275.0ms

localize14.0ms

rewrite307.0ms

series229.0ms

simplify97.0ms

prune849.0ms

regimes136.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample977.0ms

Profiling