Details

sample2.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 41.474173%

Guaranteed chance to sample good point: 42.716184%

Results

34.0ms	427×	body	80	nan
25.0ms	299×	body	80	valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	11
1	101	11
2	428	11
3	1514	11
4	4620	11
5	5001	11

prune9.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: 0.1b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
0.0b	(+ (+ (* x (log y)) z) t)
0.2b	(* (- b 0.5) (log c))
0.3b	(* x (log y))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-log-exp`
20×	`add-sqr-sqrt`
18×	`log-prod` `*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`sum-log`
10×	`pow1`
9×	`distribute-rgt-in` `distribute-lft-in`
8×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
6×	`associate-+r+` `associate-*l/`
4×	`flip3-+` `frac-add` `flip-+`
3×	`flip3--` `flip--`
2×	`+-commutative` `associate-+l+` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 93

Calls

4 calls:

14.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
6.0ms	(+ (+ (* x (log y)) z) t)
7.0ms	(* (- b 0.5) (log c))
5.0ms	(* x (log y))

series102.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
12.0ms	(+ (+ (* x (log y)) z) t)
10.0ms	(* (- b 0.5) (log c))
8.0ms	(* x (log y))

simplify65.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	664	893
1	2592	836
2	5002	793

prune165.0ms

Filtered

70 candidates to 105 candidates (-50.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	98	7	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	7	106

Merged error: 0.0b

Counts

106 → 7

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
0.3b	(* x (log y))
0.6b	(cbrt c)
0.6b	(cbrt c)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

42×	`log-prod`
33×	`distribute-rgt-in` `distribute-lft-in`
24×	`cbrt-prod` `add-sqr-sqrt` `associate-+l+`
22×	`add-cube-cbrt` `*-un-lft-identity`
12×	`associate-+r+`
8×	`associate-*l/`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`flip3--` `associate-r` `frac-add` `flip--`
3×	`associate-l`
2×	`pow1/3`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 99

Calls

4 calls:

14.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
5.0ms	(* x (log y))
1.0ms	(cbrt c)
1.0ms	(cbrt c)

series112.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
14.0ms	(* x (log y))
25.0ms	(cbrt c)
24.0ms	(cbrt c)

simplify59.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	580	891
1	2054	779
2	5002	735

prune197.0ms

Filtered

91 candidates to 111 candidates (-22.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	110	8	118

Merged error: 0.0b

Counts

118 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (- b 0.5) (log (sqrt c))))
0.2b	(* (log (sqrt c)) (- b 0.5))
0.2b	(* (- b 0.5) (log (sqrt c)))
0.3b	(* x (log y))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt` `log-prod`
24×	`*-un-lft-identity` `add-log-exp`
20×	`add-cube-cbrt` `frac-add`
17×	`distribute-rgt-in` `distribute-lft-in`
15×	`pow1` `associate-r` `sum-log`
14×	`associate-l` `associate-*l/`
12×	`associate-+r+` `flip3--` `sqrt-prod` `flip--`
10×	`add-exp-log` `associate-*r/` `add-cbrt-cube`
7×	`flip3-+` `log-pow` `flip-+`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`sub-neg` `sqrt-pow1` `pow1/2` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `associate-+l+`

Counts

4 → 131

Calls

4 calls:

21.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (- b 0.5) (log (sqrt c))))
7.0ms	(* (log (sqrt c)) (- b 0.5))
8.0ms	(* (- b 0.5) (log (sqrt c)))
5.0ms	(* x (log y))

series119.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (- b 0.5) (log (sqrt c))))
9.0ms	(* (log (sqrt c)) (- b 0.5))
8.0ms	(* (- b 0.5) (log (sqrt c)))
11.0ms	(* x (log y))

simplify119.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1012	2060
1	4877	1896
2	5001	1896

prune213.0ms

Filtered

102 candidates to 143 candidates (-40.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	145	6	151

Merged error: 0.0b

Counts

151 → 6

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- b 0.5) (+ (log (sqrt c)) (log (sqrt (sqrt c)))))
0.2b	(* (- b 0.5) (log (sqrt (sqrt c))))
0.3b	(+ (log (sqrt c)) (log (sqrt (sqrt c))))
0.3b	(* x (log y))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

54×	`log-pow`
44×	`pow1`
39×	`log-prod` `*-un-lft-identity`
33×	`add-sqr-sqrt`
31×	`associate-r`
30×	`sqrt-pow1` `sqrt-prod`
23×	`add-cube-cbrt`
20×	`pow1/2`
16×	`distribute-rgt-out`
13×	`distribute-rgt-in` `distribute-lft-in` `associate-l`
12×	`distribute-lft-out`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-+r+`
6×	`associate-+l+`
4×	`frac-times` `flip3--` `flip3-+` `associate-*l/` `distribute-rgt1-in` `flip--` `flip-+` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`associate-*r/` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `sum-log`

Counts

4 → 158

Calls

4 calls:

17.0ms	(* (- b 0.5) (+ (log (sqrt c)) (log (sqrt (sqrt c)))))
9.0ms	(* (- b 0.5) (log (sqrt (sqrt c))))
9.0ms	(+ (log (sqrt c)) (log (sqrt (sqrt c))))
5.0ms	(* x (log y))

series56.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* (- b 0.5) (+ (log (sqrt c)) (log (sqrt (sqrt c)))))
18.0ms	(* (- b 0.5) (log (sqrt (sqrt c))))
12.0ms	(+ (log (sqrt c)) (log (sqrt (sqrt c))))
8.0ms	(* x (log y))

simplify75.0ms

Algorithm

egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	736	1339
1	2923	1234
2	5001	1169

prune189.0ms

Filtered

102 candidates to 170 candidates (-66.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	170	6	176

Merged error: 0.0b

Counts

176 → 6

regimes1.4s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	18
1	36	18

end0.0ms

sample6.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 41.474173%

Guaranteed chance to sample good point: 42.716184%

Results

954.0ms	12526×	body	80	nan
776.0ms	9244×	body	80	valid
1.0ms	1×	body	1280	valid
0.0ms	1×	body	160	valid

Details

sample2.8s

simplify72.0ms

prune9.0ms

localize18.0ms

rewrite36.0ms

series102.0ms

simplify65.0ms

prune165.0ms

localize26.0ms

rewrite26.0ms

series112.0ms

simplify59.0ms

prune197.0ms

localize23.0ms

rewrite47.0ms

series119.0ms

simplify119.0ms

prune213.0ms

localize26.0ms

rewrite46.0ms

series56.0ms

simplify75.0ms

prune189.0ms

regimes1.4s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample6.0s

Profiling