Details

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

sample102.0ms

Algorithm

intervals

Results

25.0ms	314×	body	80	nan
22.0ms	233×	body	80	valid
11.0ms	135×	body	80	invalid
4.0ms	8×	body	640	valid
2.0ms	7×	body	320	invalid
2.0ms	7×	body	320	valid
1.0ms	3×	body	640	invalid
1.0ms	7×	body	160	valid
1.0ms	1×	body	1280	valid
1.0ms	3×	body	160	invalid

simplify37.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4997	17
1	4997	17

prune20.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.2b

Counts

2 → 2

localize16.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))
7.1b	(log (- 1.0 z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt` `log-prod`
24×	`*-un-lft-identity`
22×	`associate--l+`
15×	`add-cube-cbrt`
14×	`distribute-rgt-in` `distribute-lft-in`
12×	`associate-+r+`
10×	`pow1` `associate-r/` `associate-r*`
8×	`add-exp-log` `associate-+l+` `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 → 101

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))

series121.0ms

Counts

4 → 12

Calls

4 calls:

64.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))

simplify44.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5049	1672

prune206.0ms

Filtered

91 candidates to 113 candidates (-24.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	109	4	113
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	111	4	115

Merged error: 0.0b

Counts

115 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (- (log z) t))
8.3b	(+ (log (+ (sqrt 1.0) (sqrt z))) (log (- (sqrt 1.0) (sqrt z))))
12.1b	(log (+ (sqrt 1.0) (sqrt z)))
12.7b	(log (- (sqrt 1.0) (sqrt z)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 100

Calls

4 calls:

7.0ms	(* y (- (log z) t))
14.0ms	(+ (log (+ (sqrt 1.0) (sqrt z))) (log (- (sqrt 1.0) (sqrt z))))
6.0ms	(log (+ (sqrt 1.0) (sqrt z)))
6.0ms	(log (- (sqrt 1.0) (sqrt z)))

series79.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* y (- (log z) t))
36.0ms	(+ (log (+ (sqrt 1.0) (sqrt z))) (log (- (sqrt 1.0) (sqrt z))))
11.0ms	(log (+ (sqrt 1.0) (sqrt z)))
8.0ms	(log (- (sqrt 1.0) (sqrt z)))

simplify83.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4963	1425
1	4963	1425

prune238.0ms

Filtered

76 candidates to 112 candidates (-47.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	112	4	116

Merged error: 0.0b

Counts

116 → 4

localize21.0ms

Local error

Found 4 expressions with local error:

7.1b	(log (- 1.0 z))
12.7b	(cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
12.7b	(cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
12.7b	(cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

24×	`associate-*r/`
18×	`cbrt-div`
13×	`flip3--` `flip--`
12×	`frac-add`
10×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`cbrt-prod`
8×	`add-cube-cbrt`
5×	`pow1` `add-exp-log` `log-prod`
4×	`add-cbrt-cube` `add-log-exp`
3×	`flip3-+` `pow1/3` `flip-+`
2×	`log-div`
1×	`rem-log-exp` `log-pow` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 67

Calls

4 calls:

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

series869.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(log (- 1.0 z))
314.0ms	(cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
277.0ms	(cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
275.0ms	(cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))

simplify36.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5093	3012

prune370.0ms

Filtered

72 candidates to 79 candidates (-9.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	79	4	83

Merged error: 0.0b

Counts

83 → 4

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a))
0.7b	(pow (/ z (exp t)) y)
2.4b	(pow (/ (- 1.0 z) (exp b)) a)
7.1b	(log (- 1.0 z))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

87×	`add-sqr-sqrt`
80×	`unpow-prod-down`
56×	`times-frac`
55×	`*-un-lft-identity`
41×	`add-cube-cbrt`
33×	`add-exp-log`
23×	`associate-r`
20×	`pow-exp`
17×	`associate-l`
16×	`prod-exp` `unswap-sqr`
12×	`sqr-pow`
10×	`pow-to-exp` `div-exp`
7×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`pow-unpow` `add-cbrt-cube`
5×	`log-prod`
4×	`div-inv` `add-log-exp`
2×	`log-div` `pow-pow`
1×	`flip3--` `rem-log-exp` `log-pow` `*-commutative` `flip--` `cbrt-unprod`

Counts

4 → 159

Calls

4 calls:

20.0ms	(* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a))
5.0ms	(pow (/ z (exp t)) y)
9.0ms	(pow (/ (- 1.0 z) (exp b)) a)
3.0ms	(log (- 1.0 z))

series180.0ms

Counts

4 → 12

Calls

4 calls:

119.0ms	(* (pow (/ z (exp t)) y) (pow (/ (- 1.0 z) (exp b)) a))
24.0ms	(pow (/ z (exp t)) y)
34.0ms	(pow (/ (- 1.0 z) (exp b)) a)
3.0ms	(log (- 1.0 z))

simplify79.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4960	2669
1	4960	2669

prune370.0ms

Filtered

125 candidates to 171 candidates (-36.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	171	4	175

Merged error: 0.0b

Counts

175 → 4

regimes636.0ms

Accuracy

0% (1.0b remaining)

Error of 1.8b against oracle of 0.8b and baseline of 1.8b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	54	27
1	54	27

end0.0ms

sample3.3s

Algorithm

intervals

Results

888.0ms	10694×	body	80	nan
631.0ms	7254×	body	80	valid
461.0ms	5341×	body	80	invalid
118.0ms	262×	body	640	valid
79.0ms	261×	body	320	valid
56.0ms	127×	body	640	invalid
46.0ms	53×	body	1280	valid
39.0ms	134×	body	320	invalid
31.0ms	170×	body	160	valid
16.0ms	89×	body	160	invalid
9.0ms	11×	body	1280	invalid

Details

analyze910.0ms

sample102.0ms

simplify37.0ms

prune20.0ms

localize16.0ms

rewrite37.0ms

series121.0ms

simplify44.0ms

prune206.0ms

localize24.0ms

rewrite35.0ms

series79.0ms

simplify83.0ms

prune238.0ms

localize21.0ms

rewrite28.0ms

series869.0ms

simplify36.0ms

prune370.0ms

localize28.0ms

rewrite44.0ms

series180.0ms

simplify79.0ms

prune370.0ms

regimes636.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.3s

Profiling