Details

sample7.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0.146484%

Results

25.0ms	256×	body	80	valid
0.0ms	6×	body	80	invalid

simplify104.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	16
1	88	16
2	254	16
3	663	16
4	1615	16
5	2362	16
6	2584	16
7	3122	16
8	5001	16

prune5.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: 33.1b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ y a) y) b) y)
0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
32.3b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*l/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`pow-prod-down` `prod-exp` `associate-/r` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 91

Calls

4 calls:

8.0ms	(* (+ (* (+ y a) y) b) y)
9.0ms	(* (+ (* x y) z) y)
9.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
24.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series171.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (+ (* (+ y a) y) b) y)
10.0ms	(* (+ (* x y) z) y)
14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
140.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify62.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	509	1200
1	2222	1083
2	5001	1081

prune227.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	92	11	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	11	104

Merged error: 32.0b

Counts

104 → 11

localize31.0ms

Local error

Found 4 expressions with local error:

23.4b	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
23.4b	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
23.4b	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
32.3b	(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `cbrt-div` `associate-*l/` `add-cbrt-cube`
5×	`flip3-+` `flip-+`
4×	`pow1` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-/r` `associate-/l`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 64

Calls

4 calls:

8.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
8.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
8.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
32.0ms	(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series310.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
49.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
51.0ms	(cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))
160.0ms	(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify48.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	399	1964
1	1246	1796
2	5001	1754

prune255.0ms

Filtered

66 candidates to 76 candidates (-15.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	76	11	87

Merged error: 32.0b

Counts

87 → 11

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.3b	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
32.4b	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
11×	`associate-/r/`
9×	`pow1`
8×	`flip3-+` `div-exp` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `associate-*l/` `add-log-exp`
2×	`rec-exp` `frac-2neg` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 155

Calls

4 calls:

6.0ms	(* (+ (* x y) z) y)
9.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
27.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
24.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series391.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (+ (* x y) z) y)
16.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
140.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
227.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify99.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	671	3548
1	3251	3285
2	5001	3205

prune229.0ms

Filtered

95 candidates to 167 candidates (-75.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	162	5	167
Fresh	3	6	9
Picked	1	0	1
Done	1	0	1
Total	167	11	178

Merged error: 32.0b

Counts

178 → 11

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.2b	(/ 1 (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
0.3b	(/ 1 (/ 1 (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
32.3b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

528×	`times-frac`
259×	`add-sqr-sqrt`
257×	`add-cube-cbrt` `*-un-lft-identity`
68×	`associate-/r*`
62×	`add-exp-log`
43×	`div-exp`
40×	`associate-/r/`
23×	`div-inv`
22×	`add-cbrt-cube`
19×	`flip3-+` `flip-+`
15×	`rec-exp` `1-exp`
10×	`cbrt-undiv`
9×	`pow1` `associate-/l*`
5×	`pow-flip`
4×	`add-log-exp`
3×	`frac-2neg` `associate-r` `associate-l` `clear-num` `inv-pow`
2×	`associate-*l/` `associate-/l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `remove-double-div` `unswap-sqr`

Counts

4 → 378

Calls

4 calls:

10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
23.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
33.0ms	(/ 1 (/ 1 (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
24.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series3.6s

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
3.3s	(/ 1 (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
142.0ms	(/ 1 (/ 1 (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
146.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify131.0ms

Algorithm

egg-herbie

Counts

390 → 390

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1292	11215
1	5001	10188

prune466.0ms

Filtered

194 candidates to 390 candidates (-101.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	390	0	390
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	390	11	401

Merged error: 32.0b

Counts

401 → 11

regimes1.2s

Accuracy

0% (1.2b remaining)

Error of 29.5b against oracle of 28.4b and baseline of 29.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	18
1	46	18

end0.0ms

sample8.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0.146484%

Results

700.0ms	8000×	body	80	valid
17.0ms	213×	body	80	invalid

Details

sample7.0s

simplify104.0ms

prune5.0ms

localize22.0ms

rewrite52.0ms

series171.0ms

simplify62.0ms

prune227.0ms

localize31.0ms

rewrite58.0ms

series310.0ms

simplify48.0ms

prune255.0ms

localize24.0ms

rewrite72.0ms

series391.0ms

simplify99.0ms

prune229.0ms

localize25.0ms

rewrite112.0ms

series3.6s

simplify131.0ms

prune466.0ms

regimes1.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample8.1s

Profiling