Details

sample28.0ms

Algorithm

intervals

Results

8.0ms	269×	body	80	valid
7.0ms	236×	body	80	nan

simplify110.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

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

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 148

Calls

4 calls:

16.0ms	(+ y (/ 1.0 (* x 9.0)))
24.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
7.0ms	(/ 1.0 (* x 9.0))
5.0ms	(* 3.0 (sqrt x))

series157.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ y (/ 1.0 (* x 9.0)))
69.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
16.0ms	(/ 1.0 (* x 9.0))
41.0ms	(* 3.0 (sqrt x))

simplify83.0ms

Algorithm

egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	642	994
1	3093	931
2	5001	929

prune277.0ms

Filtered

160 candidates to 110 candidates (31.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	149	11	160
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	150	11	161

Merged error: 0.0b

Counts

161 → 11

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)

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 161

Calls

4 calls:

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

series158.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ y (/ (/ 1.0 x) 9.0))
71.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
40.0ms	(* 3.0 (sqrt x))
20.0ms	(/ (/ 1.0 x) 9.0)

simplify90.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	736	1117
1	3258	1048
2	5001	1048

prune316.0ms

Filtered

173 candidates to 125 candidates (27.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	167	6	173
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	174	10	184

Merged error: 0.0b

Counts

184 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 178

Calls

4 calls:

12.0ms	(+ y (/ (/ 1.0 x) 9.0))
21.0ms	(* 3.0 (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
7.0ms	(/ (/ 1.0 x) 9.0)
26.0ms	(* (sqrt x) (* 3.0 (- (+ y (/ (/ 1.0 x) 9.0)) 1.0)))

series149.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(+ y (/ (/ 1.0 x) 9.0))
29.0ms	(* 3.0 (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))
16.0ms	(/ (/ 1.0 x) 9.0)
72.0ms	(* (sqrt x) (* 3.0 (- (+ y (/ (/ 1.0 x) 9.0)) 1.0)))

simplify87.0ms

Algorithm

egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	743	1304
1	3316	1228
2	5002	1228

prune329.0ms

Filtered

190 candidates to 128 candidates (32.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	185	5	190
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	190	10	200

Merged error: 0b

Counts

200 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 177

Calls

4 calls:

29.0ms	(+ (* 3.0 y) (* 3.0 (- (/ (/ 1.0 x) 9.0) 1.0)))
26.0ms	(* 3.0 (- (/ (/ 1.0 x) 9.0) 1.0))
7.0ms	(/ (/ 1.0 x) 9.0)
35.0ms	(* (sqrt x) (+ (* 3.0 y) (* 3.0 (- (/ (/ 1.0 x) 9.0) 1.0))))

series174.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(+ (* 3.0 y) (* 3.0 (- (/ (/ 1.0 x) 9.0) 1.0)))
58.0ms	(* 3.0 (- (/ (/ 1.0 x) 9.0) 1.0))
17.0ms	(/ (/ 1.0 x) 9.0)
70.0ms	(* (sqrt x) (+ (* 3.0 y) (* 3.0 (- (/ (/ 1.0 x) 9.0) 1.0))))

simplify94.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	732	1254
1	3149	1171
2	5001	1171

prune321.0ms

Filtered

189 candidates to 131 candidates (30.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	185	4	189
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	190	9	199

Merged error: 0b

Counts

199 → 9

regimes70.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	17	8
1	17	8

end0.0ms

sample777.0ms

Algorithm

intervals

Results

262.0ms	8526×	body	80	valid
247.0ms	8320×	body	80	nan