Details

sample2.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 57.476522%

Results

21.0ms

259×

body

valid

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

prune6.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: 30.4b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.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) 27464.7644705) y)
6.0ms	(* (+ (* x y) z) y)
23.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series173.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify60.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (49.0ms)

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

prune246.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	88	15	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	15	104

Merged error: 29.4b

Counts

104 → 15

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 70

Calls

4 calls:

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

series229.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(cbrt (+ (* (+ y a) y) b))
29.0ms	(cbrt (+ (* (+ y a) y) b))
29.0ms	(cbrt (+ (* (+ y a) y) b))
140.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))

simplify43.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	359	1744
1	1155	1604
2	5001	1586

prune211.0ms

Filtered

71 candidates to 82 candidates (-15.5%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	81	16	97

Merged error: 29.4b

Counts

97 → 16

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* x y) z) y)
0.5b	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
29.8b	(/ (+ (* (+ (* (+ (* (+ 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:

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

series395.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
15.0ms	(* (+ (* x y) z) y)
131.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
223.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify114.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (72.0ms)

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

prune245.0ms

Filtered

94 candidates to 167 candidates (-77.7%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	2	12	14
Picked	0	1	1
Done	0	1	1
Total	167	16	183

Merged error: 29.4b

Counts

183 → 16

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 117

Calls

4 calls:

22.0ms	(cbrt (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
26.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
25.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
25.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series820.0ms

Counts

4 → 12

Calls

4 calls:

146.0ms	(cbrt (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
223.0ms	(/ (+ (* (+ (* (+ (* (+ 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))
224.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify112.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 3 (85.0ms)

Iter	Nodes	Cost
0	335	3148
1	1027	2913
2	4034	2907
3	5001	2904

prune372.0ms

Filtered

105 candidates to 129 candidates (-22.9%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	129	16	145

Merged error: 29.4b

Counts

145 → 16

regimes1.7s

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	27
1	45	27

end0.0ms

sample3.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 57.476522%

Results

715.0ms

8235×

body

valid

Details

sample2.7s

simplify113.0ms

prune6.0ms

localize26.0ms

rewrite49.0ms

series173.0ms

simplify60.0ms

prune246.0ms

localize27.0ms

rewrite61.0ms

series229.0ms

simplify43.0ms

prune211.0ms

localize24.0ms

rewrite72.0ms

series395.0ms

simplify114.0ms

prune245.0ms

localize34.0ms

rewrite101.0ms

series820.0ms

simplify112.0ms

prune372.0ms

regimes1.7s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.9s

Profiling