Details

analyze2.2s

Algorithm

sampling

Space saved by range analysis: 0.292611%

Space saved by search: 61.252628%

Guaranteed chance to sample good point: 25.074603%

sample89.0ms

Algorithm

intervals

Results

20.0ms	256×	body	80	valid
20.0ms	298×	body	80	nan
17.0ms	221×	body	80	invalid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	32	10
1	65	10
2	181	8
3	522	8
4	2203	8
5	5002	8

prune18.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: 0.2b

Counts

2 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.4b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`add-exp-log` `log-prod`
10×	`pow1` `add-log-exp`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`exp-prod`
3×	`times-frac` `exp-sum` `prod-exp` `associate-/r*` `cbrt-unprod` `rem-exp-log`
2×	`cbrt-undiv` `exp-diff` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `sum-log` `flip--` `div-inv` `associate-/l/` `associate-/l`

Counts

4 → 95

Calls

4 calls:

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

series133.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
46.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
70.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify60.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	569	965
1	2353	793
2	5001	726

prune175.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	102	5	107
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	104	5	109

Merged error: 0.0b

Counts

109 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(log (/ 1 z))
0.3b	(* (log (/ 1 a)) t)
0.3b	(* (log (/ 1 z)) y)
1.4b	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-exp-log`
21×	`add-sqr-sqrt`
18×	`div-exp`
17×	`add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
14×	`pow1`
13×	`log-prod`
12×	`times-frac` `associate-l`
9×	`prod-exp` `log-pow`
6×	`associate-r`
4×	`cbrt-undiv` `rem-log-exp` `pow-exp` `cbrt-unprod` `add-log-exp`
3×	`pow-flip` `log-rec` `associate-/r*` `inv-pow`
2×	`distribute-lft-neg-out` `rec-exp` `1-exp` `pow-prod-down` `*-commutative` `div-inv` `unswap-sqr`
1×	`pow-to-exp` `log-div` `frac-2neg` `associate-r/` `clear-num` `associate-/l/` `associate-/l`

Counts

4 → 102

Calls

4 calls:

3.0ms	(log (/ 1 z))
4.0ms	(* (log (/ 1 a)) t)
4.0ms	(* (log (/ 1 z)) y)
22.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

series174.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(log (/ 1 z))
10.0ms	(* (log (/ 1 a)) t)
10.0ms	(* (log (/ 1 z)) y)
140.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)

simplify67.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	637	982
1	2651	803
2	5001	775

prune226.0ms

Filtered

74 candidates to 114 candidates (-54.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	114	5	119

Merged error: 0.0b

Counts

119 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(log (/ 1 z))
0.3b	(* (log (/ 1 a)) t)
0.3b	(* (log (/ 1 z)) y)
1.2b	(* x (/ (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))) y))

rewrite112.0ms

Algorithm

rewrite-expression-head

Rules

562×	`times-frac`
272×	`add-sqr-sqrt`
244×	`*-un-lft-identity`
243×	`add-cube-cbrt`
238×	`associate-r`
159×	`unpow-prod-down`
51×	`exp-sum`
36×	`add-exp-log`
21×	`log-rec`
20×	`distribute-lft-neg-out`
17×	`div-exp` `add-cbrt-cube` `div-inv`
16×	`pow1`
15×	`associate-l`
13×	`log-prod` `sqr-pow`
12×	`exp-diff` `associate-/r/`
10×	`prod-exp`
9×	`log-pow` `unswap-sqr`
6×	`associate-+r-` `distribute-neg-out` `unsub-neg`
5×	`cbrt-unprod`
4×	`rem-log-exp` `pow-exp` `add-log-exp`
3×	`cbrt-undiv` `pow-flip` `pow-prod-down` `*-commutative` `inv-pow`
2×	`rec-exp` `1-exp`
1×	`pow-to-exp` `log-div` `associate-*r/`

Counts

4 → 336

Calls

4 calls:

3.0ms	(log (/ 1 z))
4.0ms	(* (log (/ 1 a)) t)
4.0ms	(* (log (/ 1 z)) y)
67.0ms	(* x (/ (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))) y))

series181.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(log (/ 1 z))
10.0ms	(* (log (/ 1 a)) t)
11.0ms	(* (log (/ 1 z)) y)
149.0ms	(* x (/ (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t))))) y))

simplify78.0ms

Algorithm

egg-herbie

Counts

348 → 348

Iterations

Useful iterations: 1 (35.0ms)

Iter	Nodes	Cost
0	2093	4611
1	5001	4372

prune1.3s

Filtered

260 candidates to 348 candidates (-33.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	347	1	348
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	348	5	353

Merged error: 0.0b

Counts

353 → 5

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (/ 1 a)) t)
0.3b	(* (log (/ 1 z)) y)
0.3b	(* (log (/ 1 z)) y)
1.0b	(* (* (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) x) (/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))

rewrite128.0ms

Algorithm

rewrite-expression-head

Rules

549×	`times-frac`
250×	`associate-r`
249×	`add-sqr-sqrt`
243×	`add-cube-cbrt` `*-un-lft-identity`
228×	`sqrt-prod`
156×	`unpow-prod-down`
51×	`exp-sum`
22×	`add-exp-log` `add-cbrt-cube`
21×	`pow1` `distribute-lft-neg-out` `log-rec`
19×	`associate-l`
16×	`div-inv`
12×	`exp-diff` `associate-/r/` `sqr-pow`
9×	`prod-exp` `log-pow` `cbrt-unprod`
6×	`associate-+r-` `distribute-neg-out` `unsub-neg` `pow-prod-down`
4×	`*-commutative` `add-log-exp`
3×	`pow-flip` `associate-*l/` `inv-pow` `unswap-sqr`
2×	`cbrt-undiv` `sqrt-div` `div-exp`
1×	`frac-times` `associate-*r/`

Counts

4 → 329

Calls

4 calls:

5.0ms	(* (log (/ 1 a)) t)
5.0ms	(* (log (/ 1 z)) y)
5.0ms	(* (log (/ 1 z)) y)
83.0ms	(* (* (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) x) (/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))

series230.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (log (/ 1 a)) t)
12.0ms	(* (log (/ 1 z)) y)
10.0ms	(* (log (/ 1 z)) y)
196.0ms	(* (* (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) x) (/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))

simplify110.0ms

Algorithm

egg-herbie

Counts

341 → 341

Iterations

Useful iterations: 1 (41.0ms)

Iter	Nodes	Cost
0	2262	8453
1	5002	8096

prune2.3s

Filtered

259 candidates to 341 candidates (-31.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	340	1	341
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	340	6	346

Merged error: 0b

Counts

346 → 6

regimes679.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	29
1	31	29

end0.0ms

analyze2.4s

Algorithm

sampling

Space saved by range analysis: 0.292611%

Space saved by search: 61.252628%

Guaranteed chance to sample good point: 25.074603%

sample2.6s

Algorithm

intervals

Results

644.0ms	8000×	body	80	valid
614.0ms	8882×	body	80	nan
539.0ms	6889×	body	80	invalid

Details

analyze2.2s

sample89.0ms

simplify50.0ms

prune18.0ms

localize15.0ms

rewrite32.0ms

series133.0ms

simplify60.0ms

prune175.0ms

localize19.0ms

rewrite37.0ms

series174.0ms

simplify67.0ms

prune226.0ms

localize19.0ms

rewrite112.0ms

series181.0ms

simplify78.0ms

prune1.3s

localize26.0ms

rewrite128.0ms

series230.0ms

simplify110.0ms

prune2.3s

regimes679.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze2.4s

sample2.6s

Profiling