Details

sample2.4s

Algorithm

intervals

sampling

Space saved by range analysis: 61.252628%

Space saved by search: 0.292611%

Guaranteed chance to sample good point: 0%

Results

21.0ms	296×	body	80	nan
21.0ms	256×	body	80	valid
19.0ms	206×	body	80	invalid

simplify52.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.3b

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

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

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))
11.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series130.0ms

Counts

4 → 12

Calls

4 calls:

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

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

prune185.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.0b	(/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))
0.3b	(* (log (/ 1 a)) t)
0.3b	(* (log (/ 1 z)) y)
0.9b	(/ (* 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:

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

series262.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify102.0ms

Algorithm

egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	873	3232
1	3718	2820
2	5001	2799

prune476.0ms

Filtered

132 candidates to 195 candidates (-47.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	193	2	195
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	194	8	202

Merged error: 0b

Counts

202 → 8

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-exp-log`
21×	`cbrt-prod`
16×	`div-exp`
13×	`add-cbrt-cube`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`prod-exp`
4×	`pow1` `cbrt-undiv` `pow-exp` `div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/r*`
2×	`cbrt-unprod`
1×	`pow-to-exp` `rec-exp` `frac-2neg` `1-exp` `associate-r/` `clear-num` `associate-/l/` `associate-/l`

Counts

4 → 77

Calls

4 calls:

19.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)
16.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
18.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
16.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))

series708.0ms

Counts

4 → 12

Calls

4 calls:

132.0ms	(/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y)
193.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
193.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))
189.0ms	(cbrt (/ (* x (/ (pow (/ 1 a) 1.0) (exp (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) y))

simplify66.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	619	2083
1	2327	1819
2	5001	1782

prune646.0ms

Filtered

77 candidates to 89 candidates (-15.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	89	8	97

Merged error: 0b

Counts

97 → 8

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite142.0ms

Algorithm

rewrite-expression-head

Rules

2419×	`add-exp-log`
1602×	`div-exp`
1547×	`prod-exp`
876×	`pow-exp`
597×	`1-exp`
342×	`pow-to-exp`
96×	`rec-exp`
89×	`add-cbrt-cube`
56×	`times-frac`
38×	`add-sqr-sqrt`
34×	`cbrt-undiv`
32×	`add-cube-cbrt` `*-un-lft-identity`
30×	`associate-l` `cbrt-unprod`
14×	`pow1`
13×	`associate-r` `associate-/r*`
6×	`log-pow` `div-inv`
4×	`add-log-exp`
3×	`pow-prod-down` `*-commutative` `unswap-sqr`
2×	`distribute-lft-neg-out` `pow-flip` `log-rec` `associate-/r/` `inv-pow`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num` `associate-/l*`

Counts

4 → 750

Calls

4 calls:

4.0ms	(* (log (/ 1 a)) t)
5.0ms	(* (log (/ 1 z)) y)
12.0ms	(/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x))
32.0ms	(* (/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x)) (/ (* (pow 1 1.0) (exp (neg (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) 1))

series291.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (log (/ 1 a)) t)
10.0ms	(* (log (/ 1 z)) y)
95.0ms	(/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x))
176.0ms	(* (/ (* (pow (/ 1 a) 1.0) (pow 1 (+ t y))) (/ y x)) (/ (* (pow 1 1.0) (exp (neg (+ b (+ (* (log (/ 1 z)) y) (* (log (/ 1 a)) t)))))) 1))

simplify146.0ms

Algorithm

egg-herbie

Counts

762 → 762

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	2478	14424
1	5002	10821

prune396.0ms

Filtered

113 candidates to 762 candidates (-574.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	762	0	762
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	762	8	770

Merged error: 0b

Counts

770 → 8

regimes798.0ms

Accuracy

0% (1.2b 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

sample5.1s

Algorithm

intervals

sampling

Space saved by range analysis: 61.252628%

Space saved by search: 0.292611%

Guaranteed chance to sample good point: 0%

Results

733.0ms	6692×	body	80	invalid
654.0ms	8000×	body	80	valid
625.0ms	8943×	body	80	nan

Details

sample2.4s

simplify52.0ms

prune16.0ms

localize17.0ms

rewrite32.0ms

series130.0ms

simplify63.0ms

prune185.0ms

localize22.0ms

rewrite49.0ms

series262.0ms

simplify102.0ms

prune476.0ms

localize29.0ms

rewrite71.0ms

series708.0ms

simplify66.0ms

prune646.0ms

localize30.0ms

rewrite142.0ms

series291.0ms

simplify146.0ms

prune396.0ms

regimes798.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.1s

Profiling