Details

sample9.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 61.138916%

Guaranteed chance to sample good point: 25.074603%

Results

20.0ms	256×	body	80	valid
19.0ms	291×	body	80	nan
16.0ms	216×	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

localize17.0ms

Local error

Found 4 expressions with local error:

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

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

series134.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify62.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (52.0ms)

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

prune189.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	101	6	107
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	102	7	109

Merged error: 0.0b

Counts

109 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

116×	`times-frac`
72×	`add-sqr-sqrt`
68×	`add-cube-cbrt` `*-un-lft-identity`
65×	`unpow-prod-down`
37×	`add-exp-log`
24×	`div-exp`
19×	`add-cbrt-cube`
18×	`exp-sum` `associate-/l*`
12×	`pow1` `associate-l`
9×	`prod-exp`
8×	`distribute-lft-neg-out` `log-rec` `pow-exp`
7×	`associate-/r*` `div-inv`
6×	`associate-r` `log-pow`
5×	`cbrt-undiv` `sqr-pow`
4×	`exp-diff` `associate-/r/` `cbrt-unprod` `add-log-exp`
2×	`pow-to-exp` `associate-+r-` `rec-exp` `distribute-neg-out` `pow-flip` `frac-2neg` `1-exp` `unsub-neg` `pow-prod-down` `clear-num` `*-commutative` `inv-pow` `unswap-sqr`
1×	`associate-*r/` `associate-/l/`

Counts

4 → 183

Calls

4 calls:

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

series264.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify101.0ms

Algorithm

egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	873	3226
1	3742	2814
2	5002	2793

prune470.0ms

Filtered

132 candidates to 195 candidates (-47.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	192	3	195
Fresh	3	3	6
Picked	0	1	1
Done	0	0	0
Total	195	7	202

Merged error: 0.0b

Counts

202 → 7

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

122×	`times-frac`
114×	`add-exp-log`
77×	`add-sqr-sqrt`
73×	`add-cube-cbrt` `*-un-lft-identity`
65×	`unpow-prod-down`
62×	`prod-exp`
56×	`div-exp`
31×	`add-cbrt-cube`
20×	`pow-exp`
19×	`associate-r`
18×	`exp-sum`
17×	`pow1` `associate-/l*`
13×	`rec-exp` `1-exp` `associate-l`
12×	`cbrt-unprod`
8×	`distribute-lft-neg-out` `log-rec`
7×	`div-inv`
6×	`cbrt-undiv` `log-pow`
5×	`pow-to-exp` `pow-prod-down` `sqr-pow`
4×	`exp-diff` `associate-/r*` `associate-/r/` `add-log-exp`
3×	`associate-r/` `-commutative`
2×	`associate-+r-` `distribute-neg-out` `pow-flip` `unsub-neg` `inv-pow` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-*l/` `clear-num` `un-div-inv`

Counts

4 → 220

Calls

4 calls:

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

series272.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify127.0ms

Algorithm

egg-herbie

Counts

232 → 232

Iterations

Useful iterations: 2 (92.0ms)

Iter	Nodes	Cost
0	1089	3904
1	4813	3377
2	5002	3311

prune503.0ms

Filtered

137 candidates to 232 candidates (-69.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	232	7	239

Merged error: 0.0b

Counts

239 → 7

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.5b	(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
0.8b	(pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
1.0b	(/ (* x (pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`add-exp-log`
10×	`cbrt-prod` `add-cube-cbrt`
9×	`add-cbrt-cube`
8×	`pow-unpow`
7×	`add-log-exp`
5×	`pow1`
4×	`div-exp`
3×	`unpow-prod-down` `pow-pow` `times-frac` `prod-exp` `associate-/r*`
2×	`cbrt-undiv` `pow-to-exp` `cbrt-div` `exp-prod` `exp-to-pow` `pow-exp` `distribute-lft-out--` `difference-of-squares`
1×	`flip3--` `frac-2neg` `pow1/3` `clear-num` `flip--` `cbrt-unprod` `div-inv` `rem-exp-log` `associate-/l*` `sqr-pow`

Counts

4 → 72

Calls

4 calls:

5.0ms	(cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
5.0ms	(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
10.0ms	(pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
5.0ms	(/ (* x (pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)

series2.2s

Counts

4 → 12

Calls

4 calls:

233.0ms	(cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
913.0ms	(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
884.0ms	(pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
174.0ms	(/ (* x (pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)

simplify66.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 1 (34.0ms)

Iter	Nodes	Cost
0	1695	4209
1	5002	3744

prune555.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	84	7	91

Merged error: 0.0b

Counts

91 → 7

regimes1.1s

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	14
1	28	14

end0.0ms

sample12.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 61.138916%

Guaranteed chance to sample good point: 25.074603%

Results

637.0ms	8000×	body	80	valid
608.0ms	8769×	body	80	nan
537.0ms	6772×	body	80	invalid

Details

sample9.3s

simplify50.0ms

prune18.0ms

localize17.0ms

rewrite31.0ms

series134.0ms

simplify62.0ms

prune189.0ms

localize22.0ms

rewrite49.0ms

series264.0ms

simplify101.0ms

prune470.0ms

localize25.0ms

rewrite56.0ms

series272.0ms

simplify127.0ms

prune503.0ms

localize23.0ms

rewrite27.0ms

series2.2s

simplify66.0ms

prune555.0ms

regimes1.1s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample12.6s

Profiling