Details

sample3.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 63.15918%

Guaranteed chance to sample good point: 12.781643%

Results

19.0ms	237×	body	80	valid
16.0ms	208×	body	80	nan
14.0ms	135×	body	80	invalid
3.0ms	10×	body	320	valid
2.0ms	2×	body	1280	valid
2.0ms	5×	body	640	invalid
2.0ms	5×	body	640	valid
0.0ms	2×	body	160	invalid
0.0ms	2×	body	160	valid
0.0ms	1×	body	320	invalid

simplify36.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

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

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 107

Calls

4 calls:

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

series119.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
40.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
13.0ms	(* y (- (log z) t))
3.0ms	(log (- 1.0 z))

simplify70.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	698	1103
1	2726	1014
2	5002	988

prune190.0ms

Filtered

87 candidates to 119 candidates (-36.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	118	2	120

Merged error: 0.0b

Counts

120 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

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.0b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
0.0b	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
0.1b	(* y (- (log z) t))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 129

Calls

4 calls:

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

series172.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
51.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))
22.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
13.0ms	(* y (- (log z) t))

simplify83.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	690	1916
1	2944	1773
2	5002	1755

prune311.0ms

Filtered

92 candidates to 141 candidates (-53.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	140	1	141
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	140	3	143

Merged error: 0.0b

Counts

143 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (- (log z) t))
0.1b	(* y (- (log z) t))
4.4b	(log (- 1.0 z))
4.4b	(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:

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

simplify92.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

prune213.0ms

Filtered

72 candidates to 110 candidates (-52.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	110	3	113

Merged error: 0.0b

Counts

113 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (exp (+ (* t y) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))))
0.0b	(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
0.3b	(* (/ x (exp (+ (* t y) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))))) (* (pow z y) (exp (* a (- (log 1.0) b)))))
8.0b	(* a (pow z 2))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
24×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
20×	`add-cbrt-cube`
19×	`associate-l`
17×	`prod-exp`
9×	`associate-r`
7×	`exp-sum` `cbrt-unprod`
6×	`pow1` `add-log-exp`
5×	`div-exp`
4×	`unpow-prod-down` `associate-/r*` `unswap-sqr`
3×	`cbrt-undiv` `pow-to-exp` `pow-exp` `associate-/l*`
2×	`*-commutative` `div-inv` `unpow2` `sqr-pow`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `associate-*l/` `clear-num` `sum-log` `flip-+`

Counts

4 → 108

Calls

4 calls:

10.0ms	(/ x (exp (+ (* t y) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))))
5.0ms	(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
19.0ms	(* (/ x (exp (+ (* t y) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))))) (* (pow z y) (exp (* a (- (log 1.0) b)))))
6.0ms	(* a (pow z 2))

series189.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(/ x (exp (+ (* t y) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2)))))))
14.0ms	(+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))
110.0ms	(* (/ x (exp (+ (* t y) (+ (* 1.0 (* a z)) (* 0.5 (* a (pow z 2))))))) (* (pow z y) (exp (* a (- (log 1.0) b)))))
7.0ms	(* a (pow z 2))

simplify78.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	581	1659
1	2611	1411
2	5001	1401

prune232.0ms

Filtered

83 candidates to 120 candidates (-44.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	120	3	123

Merged error: 0.0b

Counts

123 → 3

regimes635.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	16
1	32	16

end0.0ms

sample6.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 63.15918%

Guaranteed chance to sample good point: 12.781643%

Results

602.0ms	7227×	body	80	valid
539.0ms	6699×	body	80	nan
392.0ms	4822×	body	80	invalid
106.0ms	243×	body	640	valid
77.0ms	278×	body	320	valid
45.0ms	54×	body	1280	valid
42.0ms	101×	body	640	invalid
37.0ms	198×	body	160	valid
32.0ms	121×	body	320	invalid
15.0ms	80×	body	160	invalid
14.0ms	18×	body	1280	invalid

Details

sample3.1s

simplify36.0ms

prune5.0ms

localize17.0ms

rewrite36.0ms

series119.0ms

simplify70.0ms

prune190.0ms

localize21.0ms

rewrite72.0ms

series172.0ms

simplify83.0ms

prune311.0ms

localize18.0ms

rewrite24.0ms

series35.0ms

simplify92.0ms

prune213.0ms

localize23.0ms

rewrite45.0ms

series189.0ms

simplify78.0ms

prune232.0ms

regimes635.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.0s

Profiling