Details

sample1.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 59.315824%

Guaranteed chance to sample good point: 23.026831%

Results

35.0ms	502×	body	80	nan
19.0ms	256×	body	80	valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	9
1	59	9
2	153	9
3	360	9
4	813	9
5	1639	9
6	3143	9
7	5001	9

prune5.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.3b

Counts

2 → 1

localize15.0ms

Local error

Found 3 expressions with local error:

0.1b	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.2b	(* (- a 0.5) (log t))
0.6b	(+ (log (+ x y)) (log z))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

19×	`log-prod` `*-un-lft-identity`
15×	`add-sqr-sqrt`
11×	`add-cube-cbrt`
10×	`pow1` `add-log-exp`
9×	`associate-+r+`
7×	`associate-+l+`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/`
5×	`add-exp-log` `flip3--` `associate-l` `sum-log` `log-pow` `add-cbrt-cube` `flip--` `distribute-lft-out`
4×	`associate-r` `frac-add`
3×	`associate-+l-` `flip3-+` `flip-+`
2×	`+-commutative` `log-div` `diff-log`
1×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 80

Calls

3 calls:

15.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
6.0ms	(* (- a 0.5) (log t))
6.0ms	(+ (log (+ x y)) (log z))

series69.0ms

Counts

3 → 9

Calls

3 calls:

47.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
9.0ms	(* (- a 0.5) (log t))
13.0ms	(+ (log (+ x y)) (log z))

simplify58.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	643	859
1	2361	801
2	5003	756

prune161.0ms

Filtered

64 candidates to 89 candidates (-39.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	81	8	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	8	90

Merged error: 0.0b

Counts

90 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
0.2b	(* (- a 0.5) (log t))
0.4b	(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))
0.5b	(+ (log (sqrt (+ x y))) (log z))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
29×	`log-prod`
24×	`pow1` `distribute-lft-out`
19×	`add-sqr-sqrt`
18×	`log-pow`
17×	`associate-+l+`
15×	`add-cube-cbrt` `add-log-exp`
11×	`sum-log`
10×	`associate-+r+`
8×	`sqrt-prod`
7×	`associate-+l-`
6×	`add-exp-log` `distribute-rgt-in` `log-div` `distribute-lft-in` `flip3-+` `sqrt-div` `associate-*l/` `add-cbrt-cube` `flip-+`
5×	`flip3--` `associate-l` `flip--`
4×	`associate-r` `frac-add`
3×	`+-commutative` `diff-log`
2×	`associate-+r-`
1×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 118

Calls

4 calls:

18.0ms	(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
7.0ms	(* (- a 0.5) (log t))
13.0ms	(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))
8.0ms	(+ (log (sqrt (+ x y))) (log z))

series111.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
9.0ms	(* (- a 0.5) (log t))
22.0ms	(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))
19.0ms	(+ (log (sqrt (+ x y))) (log z))

simplify82.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	862	1527
1	3259	1385
2	5001	1347

prune178.0ms

Filtered

91 candidates to 130 candidates (-42.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	130	8	138

Merged error: 0.0b

Counts

138 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b	(+ (log (+ x y)) (log z))
0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
9×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt`
8×	`pow1`
7×	`log-prod`
5×	`distribute-lft-out`
4×	`add-exp-log` `associate-+l+` `log-pow` `add-cbrt-cube` `add-log-exp`
3×	`associate-+r+` `pow1/3`
2×	`associate-+l-` `log-div` `flip3-+` `flip-+`
1×	`+-commutative` `sum-log`

Counts

4 → 57

Calls

4 calls:

6.0ms	(+ (log (+ x y)) (log z))
1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series78.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+ (log (+ x y)) (log z))
21.0ms	(cbrt t)
20.0ms	(cbrt t)
23.0ms	(cbrt t)

simplify97.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 3 (25.0ms)

Iter	Nodes	Cost
0	214	321
1	443	296
2	938	255
3	3244	246
4	5001	246

prune145.0ms

Filtered

52 candidates to 69 candidates (-32.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	69	8	77

Merged error: 0.0b

Counts

77 → 8

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
0.6b	(+ (log (+ x y)) (log z))
0.6b	(+ (log (+ x y)) (log z))
0.6b	(+ (log (+ x y)) (log z))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

84×	`cbrt-div`
62×	`associate-*l/`
56×	`flip3--` `frac-add` `flip--`
36×	`frac-times` `*-un-lft-identity`
26×	`add-sqr-sqrt`
23×	`pow1`
21×	`log-prod`
20×	`flip3-+` `flip-+`
18×	`add-cube-cbrt`
16×	`cbrt-prod`
15×	`distribute-lft-out`
12×	`associate-+l+` `log-pow`
9×	`associate-+r+`
6×	`add-exp-log` `associate-+l-` `log-div` `pow1/3` `associate-r/` `swap-sqr` `associate-r` `associate-l*`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`+-commutative` `sum-log`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 160

Calls

4 calls:

24.0ms	(* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
6.0ms	(+ (log (+ x y)) (log z))
6.0ms	(+ (log (+ x y)) (log z))
7.0ms	(+ (log (+ x y)) (log z))

series3.0s

Counts

4 → 12

Calls

4 calls:

2.9s	(* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
13.0ms	(+ (log (+ x y)) (log z))
13.0ms	(+ (log (+ x y)) (log z))
13.0ms	(+ (log (+ x y)) (log z))

simplify128.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 2 (84.0ms)

Iter	Nodes	Cost
0	906	5453
1	3443	5268
2	5002	5133

prune375.0ms

Filtered

115 candidates to 172 candidates (-49.6%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	171	1	172
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	171	9	180

Merged error: 0.0b

Counts

180 → 9

regimes1.4s

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	14
1	22	14

end0.0ms

sample4.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 59.315824%

Guaranteed chance to sample good point: 23.026831%

Results

1.2s	18120×	body	80	nan
597.0ms	8035×	body	80	valid

Details

sample1.3s

simplify55.0ms

prune5.0ms

localize15.0ms

rewrite30.0ms

series69.0ms

simplify58.0ms

prune161.0ms

localize17.0ms

rewrite51.0ms

series111.0ms

simplify82.0ms

prune178.0ms

localize22.0ms

rewrite11.0ms

series78.0ms

simplify97.0ms

prune145.0ms

localize28.0ms

rewrite55.0ms

series3.0s

simplify128.0ms

prune375.0ms

regimes1.4s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.0s

Profiling