Details

sample1.8s

Algorithm

intervals

sampling

Space saved by range analysis: 99.999783%

Space saved by search: 99.999887%

Guaranteed chance to sample good point: 88.012896%

Results

14.0ms	150×	body	160	valid
10.0ms	281×	pre	80	true
5.0ms	106×	body	80	valid
1.0ms	25×	body	80	nan

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	9
1	42	9
2	76	9
3	94	9
4	102	9
5	102	9

prune4.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.9b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 3.0 a) c)
0.3b	(- (* b b) (* (* 3.0 a) c))
0.4b	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
28.7b	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
14×	`add-exp-log` `add-cbrt-cube`
10×	`add-log-exp`
9×	`pow1`
7×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`distribute-lft-out`
5×	`times-frac` `associate-/l*`
4×	`prod-exp` `cbrt-unprod`
3×	`distribute-rgt-neg-in` `associate-r` `pow-prod-down`
2×	`cbrt-undiv` `neg-sub0` `associate-+l-` `flip3-+` `div-exp` `sum-log` `flip-+` `associate-/l/`
1×	`+-commutative` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-sub` `associate-l` `neg-log` `clear-num` `associate-/r` `-commutative` `flip--` `div-inv`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (* 3.0 a) c)
3.0ms	(- (* b b) (* (* 3.0 a) c))
11.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
7.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series53.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
8.0ms	(- (* b b) (* (* 3.0 a) c))
24.0ms	(/ (+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
17.0ms	(+ (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify53.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	417	711
1	1922	611
2	5001	602

prune127.0ms

Filtered

59 candidates to 85 candidates (-44.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	78	7	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	7	86

Merged error: 0.5b

Counts

86 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 3.0 (* a c))
0.3b	(- (* b b) (* (* 3.0 a) c))
0.4b	(/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.4b	(/ (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
79×	`add-sqr-sqrt` `*-un-lft-identity`
39×	`add-cube-cbrt`
30×	`associate-/l*`
23×	`add-exp-log` `add-cbrt-cube`
20×	`distribute-lft-out--` `difference-of-squares`
10×	`distribute-rgt-neg-in` `sqrt-prod`
9×	`pow1`
8×	`associate-/r*`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r/` `add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`flip3--` `flip--` `div-inv`
3×	`associate-l` `pow-prod-down` `associate-/l/`
2×	`frac-2neg` `clear-num`
1×	`sub-neg` `flip3-+` `diff-log` `associate-r` `*-commutative` `flip-+`

Counts

4 → 151

Calls

4 calls:

4.0ms	(* 3.0 (* a c))
3.0ms	(- (* b b) (* (* 3.0 a) c))
12.0ms	(/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
16.0ms	(/ (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series110.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 3.0 (* a c))
10.0ms	(- (* b b) (* (* 3.0 a) c))
53.0ms	(/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
45.0ms	(/ (/ (+ 0 (* 3.0 (* a c))) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

simplify117.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (96.0ms)

Iter	Nodes	Cost
0	651	2507
1	3312	2195
2	5002	2183

prune280.0ms

Filtered

102 candidates to 163 candidates (-59.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	153	10	163
Fresh	5	1	6
Picked	1	0	1
Done	0	0	0
Total	159	11	170

Merged error: 0.0b

Counts

170 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 3.0 a) c)
0.3b	(- (* b b) (* (* 3.0 a) c))
0.4b	(/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.4b	(/ (/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
79×	`add-sqr-sqrt` `*-un-lft-identity`
39×	`add-cube-cbrt`
30×	`associate-/l*`
23×	`add-exp-log` `add-cbrt-cube`
20×	`distribute-lft-out--` `difference-of-squares`
10×	`distribute-rgt-neg-in` `sqrt-prod`
9×	`pow1`
8×	`associate-/r*`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r/` `add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`flip3--` `flip--` `div-inv`
3×	`associate-r` `pow-prod-down` `associate-/l/`
2×	`frac-2neg` `clear-num`
1×	`sub-neg` `flip3-+` `diff-log` `associate-l` `*-commutative` `flip-+`

Counts

4 → 151

Calls

4 calls:

5.0ms	(* (* 3.0 a) c)
3.0ms	(- (* b b) (* (* 3.0 a) c))
12.0ms	(/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
17.0ms	(/ (/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series110.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
8.0ms	(- (* b b) (* (* 3.0 a) c))
53.0ms	(/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
45.0ms	(/ (/ (+ 0 (* (* 3.0 a) c)) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

simplify122.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (99.0ms)

Iter	Nodes	Cost
0	631	2508
1	3520	2189
2	5003	2186

prune277.0ms

Filtered

102 candidates to 163 candidates (-59.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	159	4	163
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	163	11	174

Merged error: 0b

Counts

174 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 3.0 a) c)
0.3b	(- (* b b) (* (* 3.0 a) c))
0.4b	(/ (* (* 3.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.4b	(/ (/ (* (* 3.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-exp-log` `add-cbrt-cube`
34×	`times-frac`
27×	`add-sqr-sqrt` `*-un-lft-identity`
17×	`cbrt-undiv` `div-exp`
16×	`prod-exp` `cbrt-unprod`
14×	`associate-/l*`
11×	`add-cube-cbrt`
9×	`pow1`
8×	`associate-/r*` `distribute-lft-out--` `difference-of-squares`
6×	`associate-/r/` `add-log-exp`
4×	`flip3--` `distribute-rgt-neg-in` `sqrt-prod` `flip--` `div-inv`
3×	`associate-r` `pow-prod-down`
2×	`frac-2neg` `clear-num`
1×	`sub-neg` `diff-log` `associate-l` `*-commutative` `associate-/l/`

Counts

4 → 117

Calls

4 calls:

5.0ms	(* (* 3.0 a) c)
3.0ms	(- (* b b) (* (* 3.0 a) c))
12.0ms	(/ (* (* 3.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
15.0ms	(/ (/ (* (* 3.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series107.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* 3.0 a) c)
8.0ms	(- (* b b) (* (* 3.0 a) c))
54.0ms	(/ (* (* 3.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
42.0ms	(/ (/ (* (* 3.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

simplify95.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	582	1688
1	3690	1335
2	5002	1335

prune144.0ms

Filtered

75 candidates to 129 candidates (-72.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	126	3	129
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	129	11	140

Merged error: 0b

Counts

140 → 11

regimes279.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	12
1	15	12

end0.0ms

sample3.0s

Algorithm

intervals

sampling

Space saved by range analysis: 99.999783%

Space saved by search: 99.999887%

Guaranteed chance to sample good point: 88.012896%

Results

448.0ms	4508×	body	160	valid
254.0ms	8620×	pre	80	true
180.0ms	3492×	body	80	valid
30.0ms	620×	body	80	nan

Details

sample1.8s

simplify10.0ms

prune4.0ms

localize10.0ms

rewrite28.0ms

series53.0ms

simplify53.0ms

prune127.0ms

localize14.0ms

rewrite41.0ms

series110.0ms

simplify117.0ms

prune280.0ms

localize12.0ms

rewrite43.0ms

series110.0ms

simplify122.0ms

prune277.0ms

localize11.0ms

rewrite41.0ms

series107.0ms

simplify95.0ms

prune144.0ms

regimes279.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.0s

Profiling