Details

sample6.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0.389958%

Space saved by search: 0.389958%

Guaranteed chance to sample good point: 0%

Results

21.0ms	256×	body	80	valid
1.0ms	7×	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

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.4b

Counts

2 → 1

localize28.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.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
27.7b	(/ (+ (* (+ (* (+ (* (+ (* 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:

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

series181.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify74.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	505	1241
1	2228	1133
2	5001	1131

prune241.0ms

Filtered

76 candidates to 103 candidates (-35.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	90	13	103
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	90	14	104

Merged error: 27.4b

Counts

104 → 14

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 115

Calls

4 calls:

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

series191.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify74.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	557	1654
1	2723	1470
2	5001	1444

prune194.0ms

Filtered

75 candidates to 127 candidates (-69.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	1	11	12
Picked	0	1	1
Done	1	0	1
Total	127	14	141

Merged error: 27.4b

Counts

141 → 14

localize30.0ms

Local error

Found 4 expressions with local error:

18.8b	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
18.8b	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
18.8b	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
25.0b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

45×	`cbrt-prod`
27×	`add-sqr-sqrt` `times-frac`
26×	`add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-div`
9×	`pow1` `add-exp-log` `frac-times`
7×	`flip3-+` `add-cbrt-cube` `flip-+`
6×	`associate-*r/` `associate-/r/`
5×	`associate-*l/`
4×	`add-log-exp`
3×	`pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv`
1×	`associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 102

Calls

4 calls:

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

series416.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
56.0ms	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
54.0ms	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
252.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))))

simplify58.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	473	2504
1	1534	2307
2	5001	2231

prune311.0ms

Filtered

86 candidates to 114 candidates (-32.6%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	11	12
Picked	0	1	1
Done	0	1	1
Total	113	15	128

Merged error: 27.4b

Counts

128 → 15

localize32.0ms

Local error

Found 4 expressions with local error:

13.8b	(* (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
18.8b	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
18.8b	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
18.8b	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-prod`
36×	`times-frac`
33×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`associate-r`
15×	`cbrt-div`
9×	`pow1` `add-exp-log` `frac-times` `associate-*l/`
8×	`flip3-+` `associate-/r/` `flip-+`
6×	`add-cbrt-cube`
4×	`div-inv` `add-log-exp`
3×	`pow1/3` `associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`associate-l` `*-commutative`

Counts

4 → 116

Calls

4 calls:

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

series408.0ms

Counts

4 → 12

Calls

4 calls:

242.0ms	(* (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
54.0ms	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
58.0ms	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
53.0ms	(cbrt (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify72.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	535	2886
1	1908	2683
2	5001	2613

prune281.0ms

Filtered

98 candidates to 128 candidates (-30.6%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	128	15	143

Merged error: 27.4b

Counts

143 → 15

regimes1.6s

Accuracy

0% (1.1b remaining)

Error of 28.1b against oracle of 27.0b and baseline of 28.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	17
1	46	17

end0.0ms

sample6.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0.389958%

Space saved by search: 0.389958%

Guaranteed chance to sample good point: 0%

Results

718.0ms	8000×	body	80	valid
18.0ms	222×	body	80	invalid

Details

sample6.0s

simplify104.0ms

prune6.0ms

localize28.0ms

rewrite52.0ms

series181.0ms

simplify74.0ms

prune241.0ms

localize23.0ms

rewrite61.0ms

series191.0ms

simplify74.0ms

prune194.0ms

localize30.0ms

rewrite87.0ms

series416.0ms

simplify58.0ms

prune311.0ms

localize32.0ms

rewrite88.0ms

series408.0ms

simplify72.0ms

prune281.0ms

regimes1.6s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.9s

Profiling