Details

sample2.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 67.407227%

Guaranteed chance to sample good point: 12.659176%

Results

20.0ms	237×	body	80	valid
14.0ms	173×	body	80	invalid
14.0ms	163×	body	80	nan
4.0ms	7×	body	640	invalid
3.0ms	7×	body	640	valid
2.0ms	7×	body	320	valid
1.0ms	5×	body	160	valid
1.0ms	3×	body	320	invalid
1.0ms	4×	body	160	invalid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	10
1	58	10
2	129	10
3	318	10
4	1073	10
5	5001	10

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: 2.9b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log z) t)
0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.1b	(* y (- (log z) t))
6.9b	(log (- 1.0 z))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

4.0ms	(- (log z) t)
11.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
7.0ms	(* y (- (log z) t))
3.0ms	(log (- 1.0 z))

series99.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (log z) t)
72.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
15.0ms	(* y (- (log z) t))
3.0ms	(log (- 1.0 z))

simplify47.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	454	671
1	1609	588
2	5001	557

prune162.0ms

Filtered

66 candidates to 98 candidates (-48.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	2	99

Merged error: 0b

Counts

99 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log z) t)
0.0b	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
0.1b	(* y (- (log z) t))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
27×	`add-sqr-sqrt`
25×	`associate--l+`
17×	`associate-r`
15×	`add-cube-cbrt` `log-prod`
13×	`pow1`
12×	`distribute-rgt-in` `distribute-lft-in`
10×	`add-cbrt-cube`
9×	`add-exp-log` `associate-l` `distribute-lft-out--`
7×	`sub-neg`
5×	`add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`diff-log` `exp-sum`

Counts

4 → 108

Calls

4 calls:

4.0ms	(- (log z) t)
20.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
23.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
7.0ms	(* y (- (log z) t))

series135.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (log z) t)
22.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
91.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
14.0ms	(* y (- (log z) t))

simplify57.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	512	1195
1	1984	1052
2	5002	1029

prune209.0ms

Filtered

73 candidates to 120 candidates (-64.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	120	2	122

Merged error: 0b

Counts

122 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (- (log z) t))
0.1b	(* y (- (log z) t))
6.9b	(log (- 1.0 z))
6.9b	(log (- 1.0 z))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
22×	`log-prod`
14×	`add-cube-cbrt`
12×	`pow1` `associate-r` `associate--l+`
10×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in`
8×	`add-cbrt-cube`
6×	`associate-l` `distribute-lft-out--`
4×	`sub-neg` `log-div` `flip3--` `associate-*r/` `log-pow` `flip--` `add-log-exp` `difference-of-squares`
2×	`rem-log-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 98

Calls

4 calls:

7.0ms	(* y (- (log z) t))
7.0ms	(* y (- (log z) t))
3.0ms	(log (- 1.0 z))
3.0ms	(log (- 1.0 z))

series35.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* y (- (log z) t))
13.0ms	(* y (- (log z) t))
3.0ms	(log (- 1.0 z))
3.0ms	(log (- 1.0 z))

simplify94.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	290	586
1	1000	516
2	4269	494
3	5001	494

prune210.0ms

Filtered

72 candidates to 110 candidates (-52.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	110	2	112

Merged error: 0b

Counts

112 → 2

regimes589.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	16
1	32	16

end0.0ms

sample5.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 67.407227%

Guaranteed chance to sample good point: 12.659176%

Results

627.0ms	7227×	body	80	valid
408.0ms	4776×	body	80	invalid
383.0ms	4486×	body	80	nan
117.0ms	267×	body	640	valid
74.0ms	269×	body	320	valid
51.0ms	118×	body	640	invalid
42.0ms	50×	body	1280	valid
37.0ms	139×	body	320	invalid
35.0ms	187×	body	160	valid
15.0ms	90×	body	160	invalid
10.0ms	13×	body	1280	invalid

Details

sample2.7s

simplify38.0ms

prune6.0ms

localize18.0ms

rewrite28.0ms

series99.0ms

simplify47.0ms

prune162.0ms

localize23.0ms

rewrite58.0ms

series135.0ms

simplify57.0ms

prune209.0ms

localize18.0ms

rewrite24.0ms

series35.0ms

simplify94.0ms

prune210.0ms

regimes589.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.3s

Profiling