Details

sample6.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.146484%

Guaranteed chance to sample good point: 0.244499%

Results

25.0ms	256×	body	80	valid
1.0ms	8×	body	80	invalid

simplify109.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: 28.5b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.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)
11.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
28.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series185.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify64.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	509	1265
1	2259	1154
2	5001	1152

prune226.0ms

Filtered

77 candidates to 103 candidates (-33.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	91	12	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	12	104

Merged error: 27.4b

Counts

104 → 12

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
22×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`times-frac`
8×	`add-exp-log` `pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube`
4×	`add-log-exp` `unswap-sqr`
3×	`associate-/r` `associate-/l`
2×	`flip3-+` `pow-prod-down` `associate-/r/` `pow-sqr` `pow-prod-up` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `pow2` `frac-2neg` `pow-plus` `div-exp` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv`

Counts

4 → 93

Calls

4 calls:

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

series230.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
23.0ms	(cbrt y)
24.0ms	(* (cbrt y) (cbrt y))
163.0ms	(/ (+ (* (+ (* (* (+ (* (+ (* x y) z) y) 27464.7644705) (* (cbrt y) (cbrt y))) (cbrt y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify47.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	363	1319
1	1310	1210
2	5001	1164

prune170.0ms

Filtered

70 candidates to 105 candidates (-50.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	105	12	117

Merged error: 27.4b

Counts

117 → 12

localize31.0ms

Local error

Found 4 expressions with local error:

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

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

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

series268.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
40.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
41.0ms	(cbrt (+ (* (+ (* (+ y a) y) b) y) c))
145.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))

simplify128.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 3 (111.0ms)

Iter	Nodes	Cost
0	328	2006
1	1094	1828
2	4704	1778
3	5001	1754

prune178.0ms

Filtered

68 candidates to 82 candidates (-20.6%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	80	14	94

Merged error: 27.4b

Counts

94 → 14

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
22×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`times-frac`
8×	`add-exp-log` `pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube`
4×	`add-log-exp` `unswap-sqr`
3×	`associate-/r` `associate-/l`
2×	`flip3-+` `pow-prod-down` `associate-/r/` `pow-sqr` `pow-prod-up` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `pow2` `frac-2neg` `pow-plus` `div-exp` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv`

Counts

4 → 93

Calls

4 calls:

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

series236.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt y)
21.0ms	(cbrt y)
24.0ms	(* (cbrt y) (cbrt y))
168.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) (* (cbrt y) (cbrt y))) (cbrt y)) i))

simplify50.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	363	1319
1	1375	1200
2	5002	1152

prune111.0ms

Filtered

70 candidates to 105 candidates (-50.0%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	105	14	119

Merged error: 27.4b

Counts

119 → 14

regimes1.5s

Accuracy

78.2% (0.3b remaining)

Error of 28.1b against oracle of 27.8b and baseline of 29.0b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	37
1	58	37

end0.0ms

sample8.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.146484%

Guaranteed chance to sample good point: 0.244499%

Results

713.0ms	8000×	body	80	valid
31.0ms	249×	body	80	invalid

Details

sample6.5s

simplify109.0ms

prune6.0ms

localize22.0ms

rewrite59.0ms

series185.0ms

simplify64.0ms

prune226.0ms

localize28.0ms

rewrite40.0ms

series230.0ms

simplify47.0ms

prune170.0ms

localize31.0ms

rewrite77.0ms

series268.0ms

simplify128.0ms

prune178.0ms

localize26.0ms

rewrite41.0ms

series236.0ms

simplify50.0ms

prune111.0ms

regimes1.5s

bsearch2.0ms

simplify2.0ms

end0.0ms

sample8.0s

Profiling