Details

sample1.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.805664%

Guaranteed chance to sample good point: 61.703175%

Results

9.0ms	256×	body	80	valid
1.0ms	33×	body	80	invalid

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	4
1	44	4
2	82	4
3	132	4
4	175	4
5	208	4
6	221	4
7	221	4

prune10.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: 6.9b

Counts

2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* z (- y t))
6.8b	(/ x (/ (* z (- y t)) 2.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

33×	`times-frac`
24×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
20×	`add-cube-cbrt`
13×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/r*`
5×	`cbrt-undiv` `div-exp` `associate-r` `div-inv`
4×	`pow1`
3×	`associate-l` `associate-/l*`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `prod-exp` `cbrt-unprod` `add-log-exp`
1×	`flip3--` `frac-2neg` `pow-prod-down` `clear-num` `associate-/r/` `*-commutative` `flip--` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 74

Calls

2 calls:

6.0ms	(* z (- y t))
7.0ms	(/ x (/ (* z (- y t)) 2.0))

series19.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* z (- y t))
12.0ms	(/ x (/ (* z (- y t)) 2.0))

simplify39.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	353	467
1	1535	417
2	5002	414

prune112.0ms

Filtered

57 candidates to 80 candidates (-40.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	74	6	80
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	75	7	82

Merged error: 0b

Counts

82 → 7

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ x (/ (- y t) 2.0))
4.5b	(* (/ 1 z) (/ x (/ (- y t) 2.0)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

243×	`times-frac`
184×	`add-sqr-sqrt`
157×	`*-un-lft-identity`
112×	`add-cube-cbrt`
62×	`associate-r`
46×	`add-exp-log`
28×	`add-cbrt-cube`
21×	`div-exp` `distribute-lft-out--` `difference-of-squares`
19×	`associate-/r*`
13×	`associate-l`
12×	`cbrt-undiv` `prod-exp`
10×	`div-inv`
9×	`unswap-sqr`
6×	`cbrt-unprod`
4×	`pow1`
3×	`rec-exp` `1-exp` `associate-/l*`
2×	`associate-/r/` `add-log-exp`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

2 → 208

Calls

2 calls:

8.0ms	(/ x (/ (- y t) 2.0))
28.0ms	(* (/ 1 z) (/ x (/ (- y t) 2.0)))

series25.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(/ x (/ (- y t) 2.0))
14.0ms	(* (/ 1 z) (/ x (/ (- y t) 2.0)))

simplify100.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 2 (82.0ms)

Iter	Nodes	Cost
0	915	1676
1	4280	1508
2	5001	1501

prune228.0ms

Filtered

149 candidates to 214 candidates (-43.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	214	7	221

Merged error: 0b

Counts

221 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ x (/ (- y t) (sqrt 2.0)))
0.4b	(/ (sqrt 2.0) z)
0.4b	(/ (- y t) (sqrt 2.0))
4.5b	(* (/ (sqrt 2.0) z) (/ x (/ (- y t) (sqrt 2.0))))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

503×	`times-frac`
385×	`add-sqr-sqrt`
338×	`*-un-lft-identity`
240×	`add-cube-cbrt`
151×	`sqrt-prod`
107×	`associate-r`
49×	`distribute-lft-out--` `difference-of-squares`
43×	`associate-/r*`
34×	`add-exp-log` `add-cbrt-cube`
22×	`associate-l`
14×	`cbrt-undiv` `div-exp` `associate-/l*`
12×	`div-inv` `unswap-sqr`
6×	`pow1` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
2×	`associate-/r/` `associate-/l/`
1×	`frac-times` `flip3--` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `flip--`

Counts

4 → 414

Calls

4 calls:

11.0ms	(/ x (/ (- y t) (sqrt 2.0)))
4.0ms	(/ (sqrt 2.0) z)
6.0ms	(/ (- y t) (sqrt 2.0))
56.0ms	(* (/ (sqrt 2.0) z) (/ x (/ (- y t) (sqrt 2.0))))

series44.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ x (/ (- y t) (sqrt 2.0)))
4.0ms	(/ (sqrt 2.0) z)
8.0ms	(/ (- y t) (sqrt 2.0))
21.0ms	(* (/ (sqrt 2.0) z) (/ x (/ (- y t) (sqrt 2.0))))

simplify68.0ms

Algorithm

egg-herbie

Counts

426 → 426

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1249	3889
1	5001	3654

prune527.0ms

Filtered

245 candidates to 426 candidates (-73.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	426	0	426
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	426	7	433

Merged error: 0b

Counts

433 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
4.0b	(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))

rewrite144.0ms

Algorithm

rewrite-expression-head

Rules

499×	`times-frac`
374×	`add-sqr-sqrt`
264×	`*-un-lft-identity`
209×	`associate-r`
192×	`add-cube-cbrt`
123×	`cbrt-prod`
114×	`sqrt-prod`
73×	`add-exp-log`
51×	`add-cbrt-cube`
36×	`distribute-lft-out--` `difference-of-squares`
33×	`cbrt-undiv` `div-exp`
28×	`unswap-sqr`
27×	`associate-l`
21×	`prod-exp` `cbrt-unprod`
9×	`div-inv`
6×	`pow1`
4×	`add-log-exp`
3×	`pow1/3`
2×	`associate-/r/`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 339

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
114.0ms	(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))

series98.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt x)
21.0ms	(cbrt x)
28.0ms	(cbrt x)
27.0ms	(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))

simplify81.0ms

Algorithm

egg-herbie

Counts

351 → 351

Iterations

Useful iterations: 1 (38.0ms)

Iter	Nodes	Cost
0	1755	5063
1	5001	4769

prune514.0ms

Filtered

209 candidates to 351 candidates (-67.9%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	351	0	351
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	351	7	358

Merged error: 0b

Counts

358 → 7

regimes304.0ms

Accuracy

49.2% (2.9b remaining)

Error of 2.9b against oracle of 0.0b and baseline of 5.7b

bsearch85.0ms

Steps

Iters	Range		Point
9	2.6819719614149496e-163	1.3321825200446542e-156	1.3069034249492777e-156
9	-7.84873234704276e+34	-1.1286093779229881e+27	-1.8696670555545807e+29

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	9
1	27	9

end0.0ms

sample2.4s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.805664%

Guaranteed chance to sample good point: 61.703175%

Results

314.0ms	8000×	body	80	valid
30.0ms	697×	body	80	invalid

Details

sample1.8s

simplify15.0ms

prune10.0ms

localize6.0ms

rewrite15.0ms

series19.0ms

simplify39.0ms

prune112.0ms

localize10.0ms

rewrite48.0ms

series25.0ms

simplify100.0ms

prune228.0ms

localize9.0ms

rewrite106.0ms

series44.0ms

simplify68.0ms

prune527.0ms

localize16.0ms

rewrite144.0ms

series98.0ms

simplify81.0ms

prune514.0ms

regimes304.0ms

bsearch85.0ms

simplify2.0ms

end0.0ms

sample2.4s

Profiling