Details

sample2.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 53.149414%

Guaranteed chance to sample good point: 20.166754%

Results

28.0ms	415×	body	80	nan
22.0ms	248×	body	80	invalid
20.0ms	256×	body	80	valid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (5.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

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
0.5b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.6b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite29.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))
10.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
6.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series123.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
8.0ms	(* y (log z))
63.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
43.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify58.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (48.0ms)

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

prune160.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	105	4	109

Merged error: 0.0b

Counts

109 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
82×	`add-sqr-sqrt` `associate-r`
62×	`*-un-lft-identity`
61×	`add-cube-cbrt`
55×	`unpow-prod-down`
45×	`add-exp-log`
24×	`div-exp`
22×	`add-cbrt-cube`
17×	`exp-sum`
16×	`prod-exp`
15×	`associate-l`
14×	`pow1`
8×	`distribute-lft-neg-out` `log-rec` `pow-exp` `unswap-sqr`
6×	`log-pow` `cbrt-unprod` `div-inv`
5×	`cbrt-undiv` `sqr-pow`
4×	`exp-diff` `associate-/r/` `add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative`
2×	`pow-to-exp` `associate-+r-` `rec-exp` `distribute-neg-out` `pow-flip` `1-exp` `associate-*r/` `unsub-neg` `inv-pow`
1×	`frac-2neg` `clear-num` `associate-/l/` `associate-/l*`

Counts

4 → 177

Calls

4 calls:

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

series269.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify109.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	1050	2460
1	4978	2167
2	5002	2167

prune475.0ms

Filtered

131 candidates to 189 candidates (-44.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	189	4	193

Merged error: 0b

Counts

193 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

553×	`times-frac`
265×	`add-sqr-sqrt`
238×	`associate-r`
237×	`*-un-lft-identity`
236×	`add-cube-cbrt`
159×	`unpow-prod-down`
51×	`exp-sum`
31×	`add-exp-log`
24×	`distribute-lft-neg-out` `log-rec`
17×	`add-cbrt-cube`
16×	`div-inv`
15×	`div-exp` `associate-l`
14×	`pow1`
13×	`sqr-pow`
12×	`exp-diff` `associate-/r/`
10×	`prod-exp`
9×	`unswap-sqr`
7×	`distribute-neg-out` `unsub-neg`
6×	`associate-+r-` `log-pow` `add-log-exp`
5×	`cbrt-unprod`
4×	`pow-exp`
3×	`cbrt-undiv` `pow-prod-down` `*-commutative`
2×	`pow-flip` `inv-pow`
1×	`+-commutative` `pow-to-exp` `rec-exp` `flip3-+` `1-exp` `associate-*r/` `sum-log` `flip-+`

Counts

4 → 321

Calls

4 calls:

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

series178.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify78.0ms

Algorithm

egg-herbie

Counts

333 → 333

Iterations

Useful iterations: 1 (35.0ms)

Iter	Nodes	Cost
0	2104	4629
1	5001	4389

prune1.2s

Filtered

253 candidates to 333 candidates (-31.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	333	0	333
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	333	4	337

Merged error: 0b

Counts

337 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow a (- t 1.0))
0.7b	(/ (pow a (- t 1.0)) (exp b))
1.1b	(* (/ x y) (pow z y))
5.4b	(* (* (/ x y) (pow z y)) (/ (pow a (- t 1.0)) (exp b)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-exp-log`
66×	`times-frac`
64×	`add-sqr-sqrt`
58×	`prod-exp`
51×	`*-un-lft-identity`
49×	`add-cube-cbrt`
39×	`div-exp`
38×	`associate-r`
32×	`add-cbrt-cube`
29×	`unpow-prod-down`
19×	`pow-to-exp` `pow-exp`
16×	`unpow-prod-up`
14×	`associate-l`
12×	`cbrt-unprod`
11×	`sqr-pow`
9×	`associate-/l*`
8×	`sub-neg`
7×	`pow1` `cbrt-undiv`
6×	`unswap-sqr`
5×	`pow-unpow`
4×	`associate-*l/` `add-log-exp`
3×	`associate-/r*` `div-inv`
2×	`*-commutative` `pow-sub`
1×	`frac-times` `pow-pow` `frac-2neg` `associate-*r/` `pow-prod-down` `clear-num` `associate-/l/` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 197

Calls

4 calls:

4.0ms	(pow a (- t 1.0))
9.0ms	(/ (pow a (- t 1.0)) (exp b))
7.0ms	(* (/ x y) (pow z y))
14.0ms	(* (* (/ x y) (pow z y)) (/ (pow a (- t 1.0)) (exp b)))

series116.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(pow a (- t 1.0))
20.0ms	(/ (pow a (- t 1.0)) (exp b))
18.0ms	(* (/ x y) (pow z y))
66.0ms	(* (* (/ x y) (pow z y)) (/ (pow a (- t 1.0)) (exp b)))

simplify44.0ms

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1012	1815
1	5002	1661

prune228.0ms

Filtered

134 candidates to 209 candidates (-56.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	209	4	213

Merged error: 0b

Counts

213 → 4

regimes594.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	14
1	28	14

end0.0ms

sample6.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 53.149414%

Guaranteed chance to sample good point: 20.166754%

Results

931.0ms	13464×	body	80	nan
650.0ms	8000×	body	80	valid
590.0ms	7385×	body	80	invalid

Details

sample2.9s

simplify51.0ms

prune18.0ms

localize16.0ms

rewrite29.0ms

series123.0ms

simplify58.0ms

prune160.0ms

localize20.0ms

rewrite62.0ms

series269.0ms

simplify109.0ms

prune475.0ms

localize23.0ms

rewrite100.0ms

series178.0ms

simplify78.0ms

prune1.2s

localize13.0ms

rewrite43.0ms

series116.0ms

simplify44.0ms

prune228.0ms

regimes594.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample6.5s

Profiling