Details

analyze856.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	90.4%	9.6%	9
0%	45.2%	54.8%	10
0%	45.2%	54.8%	11
0%	45.2%	54.8%	12
0%	45.2%	54.8%	13
0%	44.4%	55.6%	14

sample126.0ms

Algorithm

intervals

Results

31.0ms	326×	body	80	nan
24.0ms	232×	body	80	valid
19.0ms	162×	body	80	invalid
4.0ms	7×	body	640	valid
2.0ms	2×	body	1280	valid
2.0ms	6×	body	320	valid
2.0ms	9×	body	160	valid
2.0ms	7×	body	160	invalid
1.0ms	4×	body	320	invalid
1.0ms	1×	body	640	invalid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4997	17
1	4997	17

prune17.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* a (- (log (- 1.0 z)) b))
0.1b	(* y (- (log z) t))
0.8b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.7b	(log (- 1.0 z))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

37×	`log-prod`
35×	`add-sqr-sqrt`
33×	`*-un-lft-identity`
32×	`associate--l+`
20×	`distribute-rgt-in` `distribute-lft-in`
17×	`add-cube-cbrt`
12×	`associate-+r+` `associate-r/` `associate-r*`
11×	`pow1`
9×	`add-exp-log` `distribute-lft-out--`
8×	`sub-neg` `associate-+l+` `add-cbrt-cube`
7×	`flip3--` `flip--` `difference-of-squares`
6×	`associate-l` `add-log-exp`
4×	`frac-add`
3×	`log-pow`
2×	`log-div` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `rem-log-exp` `sum-log` `flip-+`

Counts

4 → 117

Calls

4 calls:

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

series72.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* a (- (log (- 1.0 z)) b))
17.0ms	(* y (- (log z) t))
40.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))

simplify57.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4972	1691
1	4972	1691

prune223.0ms

Filtered

95 candidates to 129 candidates (-35.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	128	3	131

Merged error: 0.3b

Counts

131 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 94

Calls

4 calls:

4.0ms	(- (log z) t)
12.0ms	(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z)))))
7.0ms	(* y (- (log z) t))
13.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z))))

series100.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (log z) t)
40.0ms	(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z)))))
14.0ms	(* y (- (log z) t))
36.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) b) (* 1.0 z))))

simplify40.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5180	1547

prune196.0ms

Filtered

82 candidates to 106 candidates (-29.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	106	3	109

Merged error: 0.0b

Counts

109 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (exp (+ b (* z 1.0))))
0.1b	(log (pow (exp (pow (/ z (exp t)) y)) (pow (/ 1.0 (exp (+ b (* z 1.0)))) a)))
0.7b	(pow (/ z (exp t)) y)
1.6b	(pow (/ 1.0 (exp (+ b (* z 1.0)))) a)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

33×	`times-frac`
32×	`add-sqr-sqrt` `add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
10×	`add-exp-log`
7×	`log-prod` `exp-sum`
6×	`pow1` `pow-unpow` `add-cbrt-cube`
5×	`pow-exp`
4×	`associate-/r*` `add-log-exp`
3×	`pow-to-exp` `div-exp` `rem-log-exp` `div-inv` `associate-/l*` `sqr-pow`
2×	`pow-pow`
1×	`cbrt-undiv` `frac-2neg` `clear-num` `log-pow`

Counts

4 → 108

Calls

4 calls:

6.0ms	(/ 1.0 (exp (+ b (* z 1.0))))
6.0ms	(log (pow (exp (pow (/ z (exp t)) y)) (pow (/ 1.0 (exp (+ b (* z 1.0)))) a)))
5.0ms	(pow (/ z (exp t)) y)
7.0ms	(pow (/ 1.0 (exp (+ b (* z 1.0)))) a)

series161.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ 1.0 (exp (+ b (* z 1.0))))
97.0ms	(log (pow (exp (pow (/ z (exp t)) y)) (pow (/ 1.0 (exp (+ b (* z 1.0)))) a)))
25.0ms	(pow (/ z (exp t)) y)
30.0ms	(pow (/ 1.0 (exp (+ b (* z 1.0)))) a)

simplify71.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5025	1721

prune257.0ms

Filtered

96 candidates to 120 candidates (-25.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Merged error: 0.0b

Counts

123 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ z (exp t))
0.2b	(* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a))
0.7b	(pow (/ z (exp t)) y)
1.6b	(pow (/ (- 1.0 z) (exp b)) a)

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-sqr-sqrt`
80×	`unpow-prod-down`
65×	`times-frac`
60×	`*-un-lft-identity`
48×	`add-cube-cbrt`
33×	`add-exp-log`
23×	`associate-r`
20×	`pow-exp`
17×	`associate-l`
16×	`prod-exp` `unswap-sqr`
12×	`sqr-pow`
11×	`div-exp`
10×	`pow-to-exp`
8×	`add-cbrt-cube`
6×	`pow1` `pow-unpow` `distribute-lft-out--` `difference-of-squares`
5×	`div-inv`
4×	`add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow-pow`
1×	`cbrt-undiv` `frac-2neg` `clear-num` `*-commutative` `cbrt-unprod`

Counts

4 → 170

Calls

4 calls:

4.0ms	(/ z (exp t))
19.0ms	(* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a))
5.0ms	(pow (/ z (exp t)) y)
7.0ms	(pow (/ (- 1.0 z) (exp b)) a)

series199.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ z (exp t))
129.0ms	(* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a))
26.0ms	(pow (/ z (exp t)) y)
37.0ms	(pow (/ (- 1.0 z) (exp b)) a)

simplify66.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5001	2706

prune232.0ms

Filtered

130 candidates to 182 candidates (-40.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	182	0	182
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	182	3	185

Merged error: 0.0b

Counts

185 → 3

regimes478.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	65	20
1	65	20

end0.0ms

sample3.1s

Algorithm

intervals

Results

848.0ms	10711×	body	80	nan
596.0ms	7262×	body	80	valid
422.0ms	5343×	body	80	invalid
108.0ms	259×	body	640	valid
67.0ms	249×	body	320	valid
45.0ms	111×	body	640	invalid
45.0ms	56×	body	1280	valid
37.0ms	138×	body	320	invalid
29.0ms	174×	body	160	valid
16.0ms	22×	body	1280	invalid
15.0ms	90×	body	160	invalid

Details

analyze856.0ms

sample126.0ms

simplify36.0ms

prune17.0ms

localize17.0ms

rewrite36.0ms

series72.0ms

simplify57.0ms

prune223.0ms

localize16.0ms

rewrite39.0ms

series100.0ms

simplify40.0ms

prune196.0ms

localize18.0ms

rewrite27.0ms

series161.0ms

simplify71.0ms

prune257.0ms

localize17.0ms

rewrite43.0ms

series199.0ms

simplify66.0ms

prune232.0ms

regimes478.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.1s

Profiling