Details

sample3.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 53.149414%

Guaranteed chance to sample good point: 20.166754%

Results

29.0ms	419×	body	80	nan
21.0ms	256×	body	80	valid
20.0ms	243×	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

prune16.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.4b

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 88

Calls

4 calls:

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

series174.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
7.0ms	(* y (log z))
45.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
68.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify57.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	462	1078
1	2065	875
2	5001	831

prune185.0ms

Filtered

78 candidates to 100 candidates (-28.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	95	5	100
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	97	5	102

Merged error: 0.0b

Counts

102 → 5

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

848×	`add-exp-log`
617×	`div-exp`
480×	`prod-exp`
360×	`pow-exp`
146×	`pow-to-exp` `1-exp`
51×	`add-cbrt-cube`
34×	`rec-exp`
20×	`cbrt-unprod`
17×	`pow1`
15×	`add-sqr-sqrt` `associate-l`
14×	`cbrt-undiv`
11×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-*r/`
7×	`associate-r`
6×	`log-pow`
5×	`pow-prod-down`
4×	`add-log-exp`
3×	`times-frac` `associate-/r` `-commutative` `associate-/l/`
2×	`distribute-lft-neg-out` `frac-times` `pow-flip` `log-rec` `associate-*l/` `inv-pow` `unswap-sqr`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 333

Calls

4 calls:

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

series318.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify77.0ms

Algorithm

egg-herbie

Counts

345 → 345

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1469	6393
1	5002	4664

prune267.0ms

Filtered

74 candidates to 345 candidates (-366.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	343	2	345
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	345	5	350

Merged error: 0b

Counts

350 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite183.0ms

Algorithm

rewrite-expression-head

Rules

2859×	`times-frac`
1154×	`add-sqr-sqrt`
1150×	`add-cube-cbrt` `*-un-lft-identity`
624×	`unpow-prod-down`
233×	`associate-/r*`
204×	`exp-sum`
78×	`distribute-lft-neg-out` `log-rec`
65×	`div-inv`
53×	`associate-/r/`
48×	`exp-diff` `sqr-pow`
31×	`add-exp-log`
25×	`distribute-neg-out` `unsub-neg`
24×	`associate-+r-`
23×	`div-exp`
17×	`add-cbrt-cube`
12×	`pow1` `associate-l`
6×	`cbrt-undiv` `associate-r` `log-pow` `add-log-exp`
4×	`pow-exp`
3×	`associate-/l*`
2×	`pow-flip` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `inv-pow` `unswap-sqr`
1×	`+-commutative` `pow-to-exp` `rec-exp` `frac-2neg` `flip3-+` `1-exp` `clear-num` `sum-log` `flip-+`

Counts

4 → 1015

Calls

4 calls:

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

series175.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify247.0ms

Algorithm

egg-herbie

Counts

1027 → 1027

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5001	26744

prune6.9s

Filtered

820 candidates to 1027 candidates (-25.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	1027	0	1027
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	1027	5	1032

Merged error: 0b

Counts

1032 → 5

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

248×	`add-exp-log`
175×	`prod-exp`
84×	`pow-exp`
76×	`div-exp`
34×	`add-cbrt-cube`
30×	`pow-to-exp` `1-exp`
15×	`associate-l`
14×	`pow1` `cbrt-unprod`
13×	`add-sqr-sqrt`
12×	`rec-exp`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`distribute-lft-neg-out` `log-rec`
7×	`associate-r`
6×	`cbrt-undiv` `log-pow`
4×	`exp-diff` `associate-*r/` `associate-/r/` `add-log-exp`
3×	`pow-prod-down` `*-commutative`
2×	`associate-+r-` `distribute-neg-out` `pow-flip` `unsub-neg` `inv-pow` `unswap-sqr`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 159

Calls

4 calls:

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

series228.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify94.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 2 (76.0ms)

Iter	Nodes	Cost
0	870	2168
1	4001	1625
2	5001	1498

prune191.0ms

Filtered

68 candidates to 171 candidates (-151.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	171	5	176

Merged error: 0b

Counts

176 → 5

regimes685.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	14
1	27	14

end0.0ms

sample6.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 53.149414%

Guaranteed chance to sample good point: 20.166754%

Results

912.0ms	12921×	body	80	nan
857.0ms	8000×	body	80	valid
563.0ms	6976×	body	80	invalid

Details

sample3.2s

simplify50.0ms

prune16.0ms

localize16.0ms

rewrite33.0ms

series174.0ms

simplify57.0ms

prune185.0ms

localize25.0ms

rewrite108.0ms

series318.0ms

simplify77.0ms

prune267.0ms

localize20.0ms

rewrite183.0ms

series175.0ms

simplify247.0ms

prune6.9s

localize28.0ms

rewrite48.0ms

series228.0ms

simplify94.0ms

prune191.0ms

regimes685.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.8s

Profiling